Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Signal
Documentation
Instances
SignalInt a => Enum (Signal a) | |
Defined in Lava.Operators | |
Eq (Signal a) Source # | |
SignalInt a => Fractional (Signal a) | |
Defined in Lava.Operators | |
SignalInt a => Num (Signal a) | |
SignalInt a => Ord (Signal a) | |
Show (Signal a) Source # | |
Choice (Signal a) Source # | |
Defined in Lava.Generic | |
FiniteSig a => Finite (Signal a) Source # | |
Defined in Lava.Generic | |
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 # | |
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 |