Lava.Signal

Documentation

newtype Signal a

Constructors

Signal Symbol

Instances

Eq (Signal a)

Methods

(==) :: Signal a -> Signal a -> Bool

(/=) :: Signal a -> Signal a -> Bool

Show (Signal a)

Methods

showsPrec :: Int -> Signal a -> ShowS

show :: Signal a -> String

showList :: [Signal a] -> ShowS

Choice (Signal a)

Methods

ifThenElse :: Signal Bool -> (Signal a, Signal a) -> Signal a

FiniteSig a => Finite (Signal a)

Methods

domain :: [Signal a]

ConstructiveSig a => Constructive (Signal a)

Methods

zero :: Signal a

var :: String -> Signal a

random :: Rnd -> Signal a

Generic (Signal a)

Methods

struct :: Signal a -> Struct Symbol

construct :: Struct Symbol -> Signal a

ShowModel (Signal a)

Methods

showModel :: Model -> Signal a -> [String]

Checkable a => Checkable (Signal a)

Methods

property :: Signal a -> Property

ChoiceWithSig a => CoFresh (Signal a)

Methods

cofresh :: (Choice b, Fresh b) => Gen b -> Gen (Signal a -> b)

ConstructiveSig a => Fresh (Signal a)

Methods

fresh :: Gen (Signal a)

newtype Symbol

Constructors

Symbol (Ref (S Symbol))

Instances

Show Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Choice Symbol

Methods

ifThenElse :: Signal Bool -> (Symbol, Symbol) -> Symbol

Generic Symbol

Methods

struct :: Symbol -> Struct Symbol

construct :: Struct Symbol -> Symbol

data S s

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

Methods

fmap :: (a -> b) -> S a -> S b

(<$) :: a -> S b -> S a

Sequent S

Methods

sequent :: Monad m => S (m a) -> m (S a)

Show a => Show (S a)

Methods

showsPrec :: Int -> S a -> ShowS

show :: S a -> String

showList :: [S a] -> ShowS

symbol :: S Symbol -> Symbol

unsymbol :: Symbol -> S Symbol

bool :: Bool -> Signal Bool

low :: Signal Bool

high :: Signal Bool

inv :: Signal Bool -> Signal Bool

andl :: [Signal Bool] -> Signal Bool

orl :: [Signal Bool] -> Signal Bool

xorl :: [Signal Bool] -> Signal Bool

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

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

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

varBool :: String -> Signal Bool

int :: Int -> Signal Int

neg :: Signal Int -> Signal Int

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

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

plusl :: [Signal Int] -> Signal Int

timesl :: [Signal Int] -> Signal Int

equall :: [Signal Int] -> Signal Bool

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

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

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

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

varInt :: String -> Signal Int

lift0 :: S Symbol -> Signal a

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

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

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

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

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

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

arguments :: S a -> [a]

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