chalmers-lava2000-1.1.1: Hardware description library Source code Contents Index

Lava.Generic

Documentation

data Struct a Source

Constructors Compound [Struct a] Object a Instances Functor Struct Sequent Struct Eq a => Eq (Struct a) Show a => Show (Struct a)

flatten :: Struct a -> [a] Source

transStruct :: Struct [a] -> [Struct a] Source

class Generic a where Source

Methods struct :: a -> Struct Symbol Source construct :: Struct Symbol -> a Source Instances Generic () Generic Symbol Generic a => Generic [a] Generic (Signal a) (Generic a, Generic b) => Generic (a, b) (Generic a, Generic b, Generic c) => Generic (a, b, c) (Generic a, Generic b, Generic c, Generic d) => Generic (a, b, c, d) (Generic a, Generic b, Generic c, Generic d, Generic e) => Generic (a, b, c, d, e) (Generic a, Generic b, Generic c, Generic d, Generic e, Generic f) => Generic (a, b, c, d, e, f) (Generic a, Generic b, Generic c, Generic d, Generic e, Generic f, Generic g) => Generic (a, b, c, d, e, f, g)

data Ops Source

Constructors Ops equalSymbol :: Symbol -> Symbol -> Signal Bool delaySymbol :: Symbol -> Symbol -> Symbol ifSymbol :: Signal Bool -> (Symbol, Symbol) -> Symbol varSymbol :: String -> Symbol zeroSymbol :: Symbol

opsBool :: Ops Source

opsInt :: Ops Source

unSignal :: Signal a -> Symbol Source

ops :: Symbol -> Ops Source

equal :: Generic a => (a, a) -> Signal Bool Source

delay :: Generic a => a -> a -> a Source

zeroify :: Generic a => a -> a Source

symbolize :: Generic a => String -> a -> a Source

pickSymbol :: Generic a => String -> a -> Symbol Source

class ConstructiveSig a where Source

Methods zeroSig :: Signal a Source varSig :: String -> Signal a Source randomSig :: Rnd -> Signal a Source Instances ConstructiveSig Bool ConstructiveSig Int

class Generic a => Constructive a where Source

Methods zero :: a Source var :: String -> a Source random :: Rnd -> a Source Instances Constructive () ConstructiveSig a => Constructive (Signal a) (Constructive a, Constructive b) => Constructive (a, b) (Constructive a, Constructive b, Constructive c) => Constructive (a, b, c) (Constructive a, Constructive b, Constructive c, Constructive d) => Constructive (a, b, c, d) (Constructive a, Constructive b, Constructive c, Constructive d, Constructive e) => Constructive (a, b, c, d, e) (Constructive a, Constructive b, Constructive c, Constructive d, Constructive e, Constructive f) => Constructive (a, b, c, d, e, f) (Constructive a, Constructive b, Constructive c, Constructive d, Constructive e, Constructive f, Constructive g) => Constructive (a, b, c, d, e, f, g)

zeroList :: Constructive a => Int -> [a] Source

varList :: Constructive a => Int -> String -> [a] Source

randomList :: Constructive a => Int -> Rnd -> [a] Source

splitRndList :: Rnd -> [Rnd] Source

valRnd :: Rnd -> Int Source

class ConstructiveSig a => FiniteSig a where Source

Methods domainSig :: [Signal a] Source Instances FiniteSig Bool

class Constructive a => Finite a where Source

Methods domain :: [a] Source Instances Finite () FiniteSig a => Finite (Signal a) (Finite a, Finite b) => Finite (a, b) (Finite a, Finite b, Finite c) => Finite (a, b, c) (Finite a, Finite b, Finite c, Finite d) => Finite (a, b, c, d) (Finite a, Finite b, Finite c, Finite d, Finite e) => Finite (a, b, c, d, e) (Finite a, Finite b, Finite c, Finite d, Finite e, Finite f) => Finite (a, b, c, d, e, f) (Finite a, Finite b, Finite c, Finite d, Finite e, Finite f, Finite g) => Finite (a, b, c, d, e, f, g)

domainList :: Finite a => Int -> [[a]] Source

class Choice a where Source

Methods ifThenElse :: Signal Bool -> (a, a) -> a Source Instances Choice () Choice Symbol Choice a => Choice [a] Choice (Signal a) Choice b => Choice (a -> b) (Choice a, Choice b) => Choice (a, b) (Choice a, Choice b, Choice c) => Choice (a, b, c) (Choice a, Choice b, Choice c, Choice d) => Choice (a, b, c, d) (Choice a, Choice b, Choice c, Choice d, Choice e) => Choice (a, b, c, d, e) (Choice a, Choice b, Choice c, Choice d, Choice e, Choice f) => Choice (a, b, c, d, e, f) (Choice a, Choice b, Choice c, Choice d, Choice e, Choice f, Choice g) => Choice (a, b, c, d, e, f, g)

mux :: Choice a => (Signal Bool, (a, a)) -> a Source

strongZipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source

lazyZipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source

Produced by Haddock version 2.6.1