Hydra.Impl.Haskell.Dsl.Prims

Documentation

binaryPrimitive :: Name -> TermCoder m a -> TermCoder m b -> TermCoder m c -> (a -> b -> c) -> PrimitiveFunction m

boolean :: Show m => TermCoder m Bool

flow :: TermCoder m s -> TermCoder m a -> TermCoder m (Flow s a)

function :: TermCoder m a -> TermCoder m b -> TermCoder m (a -> b)

int32 :: Show m => TermCoder m Int

list :: Show m => TermCoder m a -> TermCoder m [a]

map :: (Ord k, Ord m, Show m) => TermCoder m k -> TermCoder m v -> TermCoder m (Map k v)

optional :: Show m => TermCoder m a -> TermCoder m (Maybe a)

set :: (Ord a, Ord m, Show m) => TermCoder m a -> TermCoder m (Set a)

string :: Show m => TermCoder m String

unaryPrimitive :: Name -> TermCoder m a -> TermCoder m b -> (a -> b) -> PrimitiveFunction m

variable :: String -> TermCoder m (Term m)