Language.Kuifje.Syntax

Documentation

type (~>) a b = a -> Dist b

Kleisli arrow.

data Kuifje s

Syntax of the Kuifje language.

Constructors

Skip

Update (s ~> s) (Kuifje s)

If (s ~> Bool) (Kuifje s) (Kuifje s) (Kuifje s)

While (s ~> Bool) (Kuifje s) (Kuifje s)

Ord o => Observe (s ~> o) (Kuifje s)

Instances

Semigroup (Kuifje s)

Defined in Language.Kuifje.Syntax

Methods

(<>) :: Kuifje s -> Kuifje s -> Kuifje s

sconcat :: NonEmpty (Kuifje s) -> Kuifje s

stimes :: Integral b => b -> Kuifje s -> Kuifje s

Monoid (Kuifje s)

Defined in Language.Kuifje.Syntax

Methods

mempty :: Kuifje s

mappend :: Kuifje s -> Kuifje s -> Kuifje s

mconcat :: [Kuifje s] -> Kuifje s

skip :: Kuifje s

Return a Skip instruction.

update :: (s ~> s) -> Kuifje s

Return an Update instruction.

while :: (s ~> Bool) -> Kuifje s -> Kuifje s

Return a While instruction.

cond :: (s ~> Bool) -> Kuifje s -> Kuifje s -> Kuifje s

Return an If instruction.

observe :: Ord o => (s ~> o) -> Kuifje s

Return an Observe instruction.