| Copyright | Copyright (C) 2015 Kyle Carter |
|---|---|
| License | BSD3 |
| Maintainer | Kyle Carter <kylcarte@indiana.edu> |
| Stability | experimental |
| Portability | RankNTypes |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Type.Nat.Quote
Description
A QuasiQuoter for the N kind and the Nat type.
Documentation
n :: QuasiQuoter Source
parseNatExp :: String -> Q Exp Source
parseNatPat :: String -> Q Pat Source
parseNatType :: String -> Q Type Source