chalmers-lava2000-1.1.1: Hardware description librarySource codeContentsIndex
Lava.Generic
Documentation
data Struct a Source
Constructors
Compound [Struct a]
Object a
show/hide Instances
flatten :: Struct a -> [a]Source
transStruct :: Struct [a] -> [Struct a]Source
class Generic a whereSource
Methods
struct :: a -> Struct SymbolSource
construct :: Struct Symbol -> aSource
show/hide 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 :: OpsSource
opsInt :: OpsSource
unSignal :: Signal a -> SymbolSource
ops :: Symbol -> OpsSource
equal :: Generic a => (a, a) -> Signal BoolSource
delay :: Generic a => a -> a -> aSource
zeroify :: Generic a => a -> aSource
symbolize :: Generic a => String -> a -> aSource
pickSymbol :: Generic a => String -> a -> SymbolSource
class ConstructiveSig a whereSource
Methods
zeroSig :: Signal aSource
varSig :: String -> Signal aSource
randomSig :: Rnd -> Signal aSource
show/hide Instances
class Generic a => Constructive a whereSource
Methods
zero :: aSource
var :: String -> aSource
random :: Rnd -> aSource
show/hide Instances
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 -> IntSource
class ConstructiveSig a => FiniteSig a whereSource
Methods
domainSig :: [Signal a]Source
show/hide Instances
class Constructive a => Finite a whereSource
Methods
domain :: [a]Source
show/hide 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 whereSource
Methods
ifThenElse :: Signal Bool -> (a, a) -> aSource
show/hide 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)) -> aSource
strongZipWith :: (a -> b -> c) -> [a] -> [b] -> [c]Source
lazyZipWith :: (a -> b -> c) -> [a] -> [b] -> [c]Source
Produced by Haddock version 2.6.1