gibbon-0.3: A compiler for operating on serialized data
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gibbon.SExpFrontend

Description

Parse an SExp representaton of our tree-walk language.

Synopsis

Documentation

parseSExp :: [Sexp] -> PassM Prog0 Source #

Convert from raw, unstructured S-Expression into the L1 program datatype we expect.

Orphan instances

Out HaskLikeAtom Source # 
Instance details

Out Text Source # 
Instance details

Methods

docPrec :: Int -> Text -> Doc Source #

doc :: Text -> Doc Source #

docList :: [Text] -> Doc Source #

Generic HaskLikeAtom Source # 
Instance details

Associated Types

type Rep HaskLikeAtom :: Type -> Type Source #

(Generic a, Out a) => Out (RichSExpr a) Source # 
Instance details

(Generic a, Out a) => Out (SExpr a) Source # 
Instance details

Methods

docPrec :: Int -> SExpr a -> Doc Source #

doc :: SExpr a -> Doc Source #

docList :: [SExpr a] -> Doc Source #

Generic (RichSExpr a) Source # 
Instance details

Associated Types

type Rep (RichSExpr a) :: Type -> Type Source #

Methods

from :: RichSExpr a -> Rep (RichSExpr a) x Source #

to :: Rep (RichSExpr a) x -> RichSExpr a Source #

Generic (SExpr a) Source # 
Instance details

Associated Types

type Rep (SExpr a) :: Type -> Type Source #

Methods

from :: SExpr a -> Rep (SExpr a) x Source #

to :: Rep (SExpr a) x -> SExpr a Source #