Hydra.Dsl.Base

Base DSL which makes use of phantom types. Use this DSL for defining programs as opposed to data type definitions.

Documentation

primitive :: Name -> TTerm a

with :: TTerm a -> [Field] -> TTerm a

wrap :: Name -> TTerm a -> TTerm b

map :: Map (TTerm a) (TTerm b) -> TTerm (Map a b)

variant :: Name -> Name -> TTerm a -> TTerm b

function :: Type -> Type -> TTerm a -> TTerm a

apply :: TTerm (a -> b) -> TTerm a -> TTerm b

pair :: TTerm a -> TTerm b -> TTerm (a, b)

list :: [TTerm a] -> TTerm [a]

match :: Name -> Maybe (TTerm b) -> [Field] -> TTerm (u -> b)

first :: TTerm ((a, b) -> a)

fold :: TTerm (b -> a -> b) -> TTerm (b -> [a] -> b)

second :: TTerm ((a, b) -> b)

compose :: TTerm (b -> c) -> TTerm (a -> b) -> TTerm (a -> c)

(<.>) :: TTerm (b -> c) -> TTerm (a -> b) -> TTerm (a -> c)

($$) :: TTerm (a -> b) -> TTerm a -> TTerm b

project :: Name -> Name -> TTerm (a -> b)

set :: Set (TTerm a) -> TTerm (Set a)

unit :: TTerm a

ref :: TElement a -> TTerm a

var :: String -> TTerm a

(>:) :: String -> TTerm a -> Field infixr 0

field :: Name -> TTerm a -> Field

(-->) :: TCase a -> TTerm (a -> b) -> Field infixr 0

(@@) :: TTerm (a -> b) -> TTerm a -> TTerm b

functionN :: [Type] -> TTerm a -> TTerm a

lambda :: String -> TTerm x -> TTerm (a -> b)

record :: Name -> [Field] -> TTerm a

opt :: Maybe (TTerm a) -> TTerm (Maybe a)

constant :: TTerm a -> TTerm (b -> a)

identity :: TTerm (a -> a)

inject :: Name -> Name -> TTerm a -> TTerm b

just :: TTerm x -> TTerm (Maybe x)

matchOpt :: TTerm b -> TTerm (a -> b) -> TTerm (Maybe a -> b)

unitVariant :: Name -> Name -> TTerm a

nothing :: TTerm a

typed :: Type -> TTerm a -> TTerm a

unwrap :: Name -> TTerm (a -> b)

ifElse :: TTerm Bool -> TTerm a -> TTerm a -> TTerm a

el :: TElement a -> Element

doc :: String -> TTerm a -> TTerm a

fld :: Name -> TTerm a -> TField a

doc70 :: String -> TTerm a -> TTerm a

doc80 :: String -> TTerm a -> TTerm a

(>>:) :: Name -> TTerm a -> Field infixr 0

(@->) :: a -> b -> (a, b) infixr 0

caseField :: TCase a -> TTerm (a -> b) -> Field

apply2 :: TTerm (a -> b -> c) -> TTerm a -> TTerm b -> TTerm c

definitionInModule :: Module -> String -> TTerm a -> TElement a

functionNWithClasses :: [Type] -> Map Name (Set TypeClass) -> TTerm a -> TTerm a

functionWithClasses :: Type -> Type -> Map Name (Set TypeClass) -> TTerm a -> TTerm a

ifOpt :: TTerm (Maybe a) -> TTerm b -> TTerm (a -> b) -> TTerm b

inject2 :: Name -> Name -> TTerm (a -> b)

matchData :: Name -> Maybe (TTerm b) -> [(Name, TTerm (x -> b))] -> TTerm (a -> b)

matchToEnum :: Name -> Name -> Maybe (TTerm b) -> [(Name, Name)] -> TTerm (a -> b)

matchToUnion :: Name -> Name -> Maybe (TTerm b) -> [(Name, Field)] -> TTerm (a -> b)

nom :: Name -> TTerm a -> TTerm b

module Hydra.Dsl.PhantomLiterals

module Hydra.Dsl.ShorthandTypes

hydraCore :: Graph

Orphan instances

IsString (TTerm a)

Methods

fromString :: String -> TTerm a