Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type OpaqueParser = [String] -> (Maybe Opaque, Int)
class GetOpaqueParsers f where
getOpaqueParsers :: Proxy f -> [(TypeRep, OpaqueParser)]
Monad m => GetOpaqueParsers (m ()) | |
(Parseable a, Typeable * a, GetOpaqueParsers b) => GetOpaqueParsers (a -> b) |