chalmers-lava2000-1.1.1: Hardware description libraryContentsIndex
Lava.Generic
Documentation
data Struct a
Constructors
Compound [Struct a]
Object a
show/hide Instances
flatten :: Struct a -> [a]
transStruct :: Struct [a] -> [Struct a]
class Generic a where
Methods
struct :: a -> Struct Symbol
construct :: Struct Symbol -> a
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
Constructors
Ops
equalSymbol :: Symbol -> Symbol -> Signal Bool
delaySymbol :: Symbol -> Symbol -> Symbol
ifSymbol :: Signal Bool -> (Symbol, Symbol) -> Symbol
varSymbol :: String -> Symbol
zeroSymbol :: Symbol
opsBool :: Ops
opsInt :: Ops
unSignal :: Signal a -> Symbol
ops :: Symbol -> Ops
equal :: Generic a => (a, a) -> Signal Bool
delay :: Generic a => a -> a -> a
zeroify :: Generic a => a -> a
symbolize :: Generic a => String -> a -> a
pickSymbol :: Generic a => String -> a -> Symbol
class ConstructiveSig a where
Methods
zeroSig :: Signal a
varSig :: String -> Signal a
randomSig :: Rnd -> Signal a
show/hide Instances
class Generic a => Constructive a where
Methods
zero :: a
var :: String -> a
random :: Rnd -> a
show/hide Instances
zeroList :: Constructive a => Int -> [a]
varList :: Constructive a => Int -> String -> [a]
randomList :: Constructive a => Int -> Rnd -> [a]
splitRndList :: Rnd -> [Rnd]
valRnd :: Rnd -> Int
class ConstructiveSig a => FiniteSig a where
Methods
domainSig :: [Signal a]
show/hide Instances
class Constructive a => Finite a where
Methods
domain :: [a]
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]]
class Choice a where
Methods
ifThenElse :: Signal Bool -> (a, a) -> a
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)) -> a
strongZipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
lazyZipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
Produced by Haddock version 2.6.0