Data.Syntax

Documentation

type Env f = Map String (ThunkT f)

type Eval f = Env f -> ThunkT f

type ThunkT f = f (SyntaxT f)

data SyntaxT f

Constructors

ValList [ThunkT f]

Dictionary (Env f)

Text String

Function (ThunkT f -> ThunkT f)

Instances

Show (ThunkT f) => Show (SyntaxT f)

dict :: Traversal' (SyntaxT f) (Env f)

nil :: SyntaxT f

variable :: Unit f => String -> SyntaxT f -> SyntaxT f

funcall :: ThunkT f -> ThunkT f -> SyntaxT f

reduce :: MonadReader (Env m) m => SyntaxT m -> ThunkT m

list_ :: [a] -> [a]

lambda :: MonadReader (Env m) m => SyntaxT Id -> SyntaxT m -> ThunkT m -> ThunkT m

matchPat :: Monad f => SyntaxT Id -> SyntaxT f -> f (Maybe [(String, SyntaxT f)])

lambdaSum :: Monad m => [ThunkT m -> ThunkT m] -> ThunkT m -> ThunkT m