chalmers-lava2000-1.5.1: Hardware description EDSL

Safe Haskell	None
Language	Haskell98

Lava.Signal

Documentation

newtype Signal a Source

Constructors

Instances

Eq (Signal a) Source
Show (Signal a) Source
Choice (Signal a) Source
FiniteSig a => Finite (Signal a) Source
ConstructiveSig a => Constructive (Signal a) Source
Generic (Signal a) Source
ShowModel (Signal a) Source
Checkable a => Checkable (Signal a) Source
ChoiceWithSig a => CoFresh (Signal a) Source
ConstructiveSig a => Fresh (Signal a) Source

newtype Symbol Source

Constructors

Symbol (Ref (S Symbol))

Instances

Show Symbol Source
Choice Symbol Source
Generic Symbol Source

data S s Source

Constructors

Bool Bool
Inv s
And [s]
Or [s]
Xor [s]
VarBool String
DelayBool s s
Int Int
Neg s
Div s s
Mod s s
Plus [s]
Times [s]
Gte s s
Equal [s]
If s s s
VarInt String
DelayInt s s

Instances

Functor S Source
Sequent S Source
Show a => Show (S a) Source

symbol :: S Symbol -> Symbol Source

unsymbol :: Symbol -> S Symbol Source

bool :: Bool -> Signal Bool Source

low :: Signal Bool Source

high :: Signal Bool Source

inv :: Signal Bool -> Signal Bool Source

andl :: [Signal Bool] -> Signal Bool Source

orl :: [Signal Bool] -> Signal Bool Source

xorl :: [Signal Bool] -> Signal Bool Source

equalBool :: Signal Bool -> Signal Bool -> Signal Bool Source

ifBool :: Signal Bool -> (Signal Bool, Signal Bool) -> Signal Bool Source

delayBool :: Signal Bool -> Signal Bool -> Signal Bool Source

varBool :: String -> Signal Bool Source

int :: Int -> Signal Int Source

neg :: Signal Int -> Signal Int Source

divide :: Signal Int -> Signal Int -> Signal Int Source

modulo :: Signal Int -> Signal Int -> Signal Int Source

plusl :: [Signal Int] -> Signal Int Source

timesl :: [Signal Int] -> Signal Int Source

equall :: [Signal Int] -> Signal Bool Source

gteInt :: Signal Int -> Signal Int -> Signal Bool Source

equalInt :: Signal Int -> Signal Int -> Signal Bool Source

ifInt :: Signal Bool -> (Signal Int, Signal Int) -> Signal a Source

delayInt :: Signal Int -> Signal Int -> Signal Int Source

varInt :: String -> Signal Int Source

lift0 :: S Symbol -> Signal a Source

lift1 :: (Symbol -> S Symbol) -> Signal a -> Signal b Source

lift2 :: (Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c Source

lift3 :: (Symbol -> Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c -> Signal d Source

liftl :: ([Symbol] -> S Symbol) -> [Signal a] -> Signal c Source

eval :: S (S a) -> S a Source

evalLazy :: S (Maybe (S a)) -> Maybe (S a) Source

arguments :: S a -> [a] Source

zips :: S [a] -> [S a] Source