tagged-th-0.1: QuasiQuoter and Template Haskell splices for creating proxies at higher-kinds

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com

Data.Proxy.TH.Aux

Description

A parser for simple type expressions, including kinds and excluding operators.

Documentation

parseIdent :: MonadPlus m => String -> m ([Type], String)Source

parseProxy_ :: MonadPlus m => String -> m (Type, Kind)Source

parseProxy :: MonadPlus m => String -> m ((Type, Kind), String)Source

thProxyT_fail :: Maybe Name -> Q aSource