| Copyright | Copyright (c) 2016 the Hakaru team |
|---|---|
| License | BSD3 |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Hakaru.Syntax.Command
Description
An encoding of (some) Hakaru commands and their types.
Documentation
data CommandType c i o where Source #
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 Source #
nameOfCommand :: CommandType c i o -> Sing c Source #
commandFromName :: String -> Sing i -> (forall o c. Either Bool (CommandType c i o, Sing o) -> k) -> k Source #