Portability | non-portable (GHC-7.4.0 for GHC's extensions) |
---|---|
Stability | unstable |
Maintainer | kuwahara111011@gmail.com |
Safe Haskell | None |
The quasi quotes for egison expression
- egison :: QuasiQuoter
- data TypeSignature
- parseQuote :: Parser (EgisonExpr, TypeSignature)
- parseType :: Parser TypeSignature
- readQuote :: String -> ThrowsError (EgisonExpr, TypeSignature)
- toHaskellExp :: EgisonExpr -> TypeSignature -> ExpQ
Documentation
QuasiQuoter for egison expression The format is:
expr := [egison | <egison-expression> :: <type-signature> |]
Type signature is defined as follows
<Typ> = Bool | Int | Double | Float | Char | String | [<Typ>] | (<Typ>, <Typ>, ..., <Typ>) | <Typ> -> <Typ> -> ... <Typ>
Embedded Egison expression is run-time evaluated by using eval
and unsafePerformIO
.
For more detailed usage, please refer to https://github.com/xenophobia/Egison-Quote.
parseQuote :: Parser (EgisonExpr, TypeSignature)Source
Parser for egison-quote
parseType :: Parser TypeSignatureSource
Parser for TypeSignature
readQuote :: String -> ThrowsError (EgisonExpr, TypeSignature)Source
Read function for egison-quote
toHaskellExp :: EgisonExpr -> TypeSignature -> ExpQSource
construct Exp from Egison-expression and type signature