Language.Hakaru.Syntax.Command

An encoding of (some) Hakaru commands and their types.

Documentation

data CommandType c i o where

Constructors

Simplify :: CommandType "Simplify" a a

DisintMeas :: CommandType "Disintegrate" (HMeasure (HPair a b)) (a :-> HMeasure b)

DisintFun :: !(CommandType "Disintegrate" x x') -> CommandType "Disintegrate" (a :-> x) (a :-> x')

Summarize :: CommandType "Summarize" a a

commandIsType :: CommandType c i o -> Sing i -> Sing o

nameOfCommand :: CommandType c i o -> Sing c

parseCommand :: [Char] -> [Char] -> Bool

commandFromName :: String -> Sing i -> (forall o c. Either Bool (CommandType c i o, Sing o) -> k) -> k