hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Prims

Description

A DSL for constructing primitive function definitions

Documentation

bigfloat :: TermCoder Double Source #

bigint :: TermCoder Integer Source #

binary :: TermCoder String Source #

boolean :: TermCoder Bool Source #

float32 :: TermCoder Float Source #

float64 :: TermCoder Double Source #

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

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

int8 :: TermCoder Int8 Source #

int16 :: TermCoder Int16 Source #

int32 :: TermCoder Int Source #

int64 :: TermCoder Int64 Source #

list :: TermCoder x -> TermCoder [x] Source #

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

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

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

prim0 :: Name -> TermCoder x -> x -> Primitive Source #

prim1 :: Name -> TermCoder x -> TermCoder y -> (x -> y) -> Primitive Source #

prim2 :: Name -> TermCoder x -> TermCoder y -> TermCoder z -> (x -> y -> z) -> Primitive Source #

prim2Interp :: Name -> TermCoder x -> TermCoder y -> TermCoder z -> (Term -> Term -> Flow Graph Term) -> Primitive Source #

prim3 :: Name -> TermCoder w -> TermCoder x -> TermCoder y -> TermCoder z -> (w -> x -> y -> z) -> Primitive Source #

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

string :: TermCoder String Source #

term :: TermCoder Term Source #

type_ :: TermCoder Type Source #

uint8 :: TermCoder Int16 Source #

uint16 :: TermCoder Int Source #

uint32 :: TermCoder Int64 Source #

uint64 :: TermCoder Integer Source #

variable :: String -> TermCoder Term Source #

Orphan instances

IsString (TermCoder Term) Source # 
Instance details

Methods

fromString :: String -> TermCoder Term #