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 -> Datum a

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

wrap :: Name -> Datum a -> Datum b

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

variant :: Name -> Name -> Datum a -> Datum b

function :: Type -> Type -> Datum a -> Datum a

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

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

list :: [Datum a] -> Datum [a]

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

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

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

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

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

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

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

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

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

unit :: Datum a

ref :: Definition a -> Datum a

var :: String -> Datum a

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

field :: Name -> Datum a -> Field

(-->) :: Case a -> Datum (a -> b) -> Field infixr 0

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

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

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

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

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

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

identity :: Datum (a -> a)

inject :: Name -> Name -> Datum a -> Datum b

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

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

unitVariant :: Name -> Name -> Datum a

nothing :: Datum x

typed :: Type -> Datum a -> Datum a

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

ifElse :: Datum Bool -> Datum a -> Datum a -> Datum a

el :: Definition a -> Element

fld :: Name -> Datum a -> Fld a

doc :: String -> Datum a -> Datum a

doc70 :: String -> Datum a -> Datum a

doc80 :: String -> Datum a -> Datum a

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

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

caseField :: Case a -> Datum (a -> b) -> Field

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

definitionInModule :: Module -> String -> Datum a -> Definition a

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

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

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

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

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

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

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

nom :: Name -> Datum a -> Datum b

module Hydra.Dsl.PhantomLiterals

module Hydra.Dsl.ShorthandTypes

hydraCore :: Graph

Orphan instances

IsString (Datum a)

Methods

fromString :: String -> Datum a