Copyright | Copyright (C) 2015 Kyle Carter |
---|---|
License | BSD3 |
Maintainer | Kyle Carter <kylcarte@indiana.edu> |
Stability | experimental |
Portability | RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
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