swarm-0.1.0.0: 2D resource gathering game with programmable robots
CopyrightBrent Yorgey
LicenseBSD-3-Clause
Maintainerbyorgey@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Swarm.Language.Parse.QQ

Description

A quasiquoter for Swarm polytypes.

Synopsis

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).