 | chalmers-lava2000-1.1.1: Hardware description library | Contents | Index |
|
|
|
|
|
Documentation |
|
data Struct a |
Constructors | | Instances | |
|
|
flatten :: Struct a -> [a] |
|
transStruct :: Struct [a] -> [Struct a] |
|
class Generic a where |
| Methods | | | 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 |
|
|
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 | | | Instances | |
|
|
class Generic a => Constructive a where |
| Methods | zero :: a | | var :: String -> a | | random :: Rnd -> a |
| | 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] |
|
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 | | | Instances | |
|
|
class Constructive a => Finite a where |
| Methods | | | 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 | | | 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 |