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

Fields

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]