Hydra.Dsl.Prims

A DSL for constructing primitive function definitions

Documentation

bigfloat :: TermCoder Double

bigint :: TermCoder Integer

binary :: TermCoder String

boolean :: TermCoder Bool

float32 :: TermCoder Float

float64 :: TermCoder Double

flow :: TermCoder s -> TermCoder x -> TermCoder (Flow s x)

function :: TermCoder x -> TermCoder y -> TermCoder (x -> y)

int8 :: TermCoder Int8

int16 :: TermCoder Int16

int32 :: TermCoder Int

int64 :: TermCoder Int64

list :: TermCoder x -> TermCoder [x]

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

optional :: TermCoder x -> TermCoder (Maybe x)

pair :: TermCoder k -> TermCoder v -> TermCoder (k, v)

prim0 :: [String] -> Name -> TermCoder x -> x -> Primitive

prim1 :: [String] -> Name -> TermCoder x -> TermCoder y -> (x -> y) -> Primitive

prim2 :: [String] -> Name -> TermCoder x -> TermCoder y -> TermCoder z -> (x -> y -> z) -> Primitive

prim2Interp :: [String] -> Name -> TermCoder x -> TermCoder y -> TermCoder z -> (Term -> Term -> Flow Graph Term) -> Primitive

prim3 :: [String] -> Name -> TermCoder w -> TermCoder x -> TermCoder y -> TermCoder z -> (w -> x -> y -> z) -> Primitive

set :: Ord x => TermCoder x -> TermCoder (Set x)

string :: TermCoder String

term :: TermCoder Term

type_ :: TermCoder Type

uint8 :: TermCoder Int16

uint16 :: TermCoder Int

uint32 :: TermCoder Int64

uint64 :: TermCoder Integer

variable :: String -> TermCoder Term

Orphan instances

IsString (TermCoder Term)

Methods

fromString :: String -> TermCoder Term