chalmers-lava2000-1.1.1: Hardware description library Contents Index

Lava.Generic

Documentation

data Struct a

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]

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

class Generic a where

Methods struct :: a -> Struct Symbol construct :: Struct Symbol -> a 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 Instances ConstructiveSig Bool ConstructiveSig Int

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 domainSig :: [Signal a] Instances FiniteSig Bool

class Constructive a => Finite a where

Methods domain :: [a] 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 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