Copyright | Brent Yorgey |
---|---|
License | BSD-3-Clause |
Maintainer | byorgey@gmail.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
A quasiquoter for Swarm polytypes.
Synopsis
- tyQ :: QuasiQuoter
Documentation
tyQ :: QuasiQuoter Source #
A quasiquoter for Swarm polytypes, so we can conveniently write them down using concrete syntax and have them parsed into abstract syntax at compile time. This is used, for example, in writing down the concrete types of constants (see Swarm.Language.Typecheck).