chalmers-lava2000-1.3: Hardware description library

Safe HaskellNone

Lava.Generic

Documentation

data Struct a Source

Constructors

Compound [Struct a] 
Object a 

Instances

flatten :: Struct a -> [a]Source

class Generic a whereSource

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) 

equal :: Generic a => (a, a) -> Signal BoolSource

delay :: Generic a => a -> a -> aSource

zeroify :: Generic a => a -> aSource

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

class Generic a => Constructive a whereSource

Methods

zero :: aSource

var :: String -> aSource

random :: Rnd -> aSource

Instances

Constructive () 
(Generic (Signal a), ConstructiveSig a) => Constructive (Signal a) 
(Generic (a, b), Constructive a, Constructive b) => Constructive (a, b) 
(Generic (a, b, c), Constructive a, Constructive b, Constructive c) => Constructive (a, b, c) 
(Generic (a, b, c, d), Constructive a, Constructive b, Constructive c, Constructive d) => Constructive (a, b, c, d) 
(Generic (a, b, c, d, e), Constructive a, Constructive b, Constructive c, Constructive d, Constructive e) => Constructive (a, b, c, d, e) 
(Generic (a, b, c, d, e, f), Constructive a, Constructive b, Constructive c, Constructive d, Constructive e, Constructive f) => Constructive (a, b, c, d, e, f) 
(Generic (a, b, c, d, e, f, g), Constructive a, Constructive b, Constructive c, Constructive d, Constructive e, Constructive f, Constructive g) => Constructive (a, b, c, d, e, f, g) 

class ConstructiveSig a => FiniteSig a whereSource

Methods

domainSig :: [Signal a]Source

Instances

class Constructive a => Finite a whereSource

Methods

domain :: [a]Source

Instances

Finite () 
(Constructive (Signal a), FiniteSig a) => Finite (Signal a) 
(Constructive (a, b), Finite a, Finite b) => Finite (a, b) 
(Constructive (a, b, c), Finite a, Finite b, Finite c) => Finite (a, b, c) 
(Constructive (a, b, c, d), Finite a, Finite b, Finite c, Finite d) => Finite (a, b, c, d) 
(Constructive (a, b, c, d, e), Finite a, Finite b, Finite c, Finite d, Finite e) => Finite (a, b, c, d, e) 
(Constructive (a, b, c, d, e, f), Finite a, Finite b, Finite c, Finite d, Finite e, Finite f) => Finite (a, b, c, d, e, f) 
(Constructive (a, b, c, d, e, f, g), 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

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