Safe Haskell	None
Language	Haskell98

Lava.Signal

Documentation

newtype Signal a Source #

Constructors

Signal Symbol

Instances

Instances details

SignalInt a => Enum (Signal a)
Instance details Defined in Lava.Operators Methods succ :: Signal a -> Signal a pred :: Signal a -> Signal a toEnum :: Int -> Signal a fromEnum :: Signal a -> Int enumFrom :: Signal a -> [Signal a] enumFromThen :: Signal a -> Signal a -> [Signal a] enumFromTo :: Signal a -> Signal a -> [Signal a] enumFromThenTo :: Signal a -> Signal a -> Signal a -> [Signal a]
Eq (Signal a) Source #
Instance details Defined in Lava.Signal Methods (==) :: Signal a -> Signal a -> Bool (/=) :: Signal a -> Signal a -> Bool
SignalInt a => Fractional (Signal a)
Instance details Defined in Lava.Operators Methods (/) :: Signal a -> Signal a -> Signal a recip :: Signal a -> Signal a fromRational :: Rational -> Signal a
SignalInt a => Num (Signal a)
Instance details Defined in Lava.Operators Methods (+) :: Signal a -> Signal a -> Signal a (-) :: Signal a -> Signal a -> Signal a (*) :: Signal a -> Signal a -> Signal a negate :: Signal a -> Signal a abs :: Signal a -> Signal a signum :: Signal a -> Signal a fromInteger :: Integer -> Signal a
SignalInt a => Ord (Signal a)
Instance details Defined in Lava.Operators Methods compare :: Signal a -> Signal a -> Ordering (<) :: Signal a -> Signal a -> Bool (<=) :: Signal a -> Signal a -> Bool (>) :: Signal a -> Signal a -> Bool (>=) :: Signal a -> Signal a -> Bool max :: Signal a -> Signal a -> Signal a min :: Signal a -> Signal a -> Signal a
Show (Signal a) Source #
Instance details Defined in Lava.Signal Methods showsPrec :: Int -> Signal a -> ShowS show :: Signal a -> String showList :: [Signal a] -> ShowS
Choice (Signal a) Source #
Instance details Defined in Lava.Generic Methods ifThenElse :: Signal Bool -> (Signal a, Signal a) -> Signal a Source #
FiniteSig a => Finite (Signal a) Source #
Instance details Defined in Lava.Generic Methods domain :: [Signal a] Source #
ConstructiveSig a => Constructive (Signal a) Source #
Instance details Defined in Lava.Generic Methods zero :: Signal a Source # var :: String -> Signal a Source # random :: Rnd -> Signal a Source #
Generic (Signal a) Source #
Instance details Defined in Lava.Generic Methods struct :: Signal a -> Struct Symbol Source # construct :: Struct Symbol -> Signal a Source #
ShowModel (Signal a) Source #
Instance details Defined in Lava.Property Methods showModel :: Model -> Signal a -> [String] Source #
Checkable a => Checkable (Signal a) Source #
Instance details Defined in Lava.Property Methods property :: Signal a -> Property Source #
ChoiceWithSig a => CoFresh (Signal a) Source #
Instance details Defined in Lava.Property Methods cofresh :: (Choice b, Fresh b) => Gen b -> Gen (Signal a -> b) Source #
ConstructiveSig a => Fresh (Signal a) Source #
Instance details Defined in Lava.Property Methods fresh :: Gen (Signal a) Source #

newtype Symbol Source #

Constructors

Symbol (Ref (S Symbol))

Instances

Instances details

Show Symbol Source #
Instance details Defined in Lava.Signal Methods showsPrec :: Int -> Symbol -> ShowS show :: Symbol -> String showList :: [Symbol] -> ShowS
Choice Symbol Source #
Instance details Defined in Lava.Generic Methods ifThenElse :: Signal Bool -> (Symbol, Symbol) -> Symbol Source #
Generic Symbol Source #
Instance details Defined in Lava.Generic Methods struct :: Symbol -> Struct Symbol Source # construct :: Struct Symbol -> 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

Instances details

Functor S Source #
Instance details Defined in Lava.Signal Methods fmap :: (a -> b) -> S a -> S b (<$) :: a -> S b -> S a
Sequent S Source #
Instance details Defined in Lava.Signal Methods sequent :: Monad m => S (m a) -> m (S a) Source #
Show a => Show (S a) Source #
Instance details Defined in Lava.Signal Methods showsPrec :: Int -> S a -> ShowS show :: S a -> String showList :: [S a] -> ShowS