Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | ekmett@gmail.com |
Safe Haskell | Safe-Infered |
idStyle = haskellIdentifierStyle { styleReserved = ... } identifier = ident haskellIdentifierStyle reserved = reserve haskellIdentifierStyle
- data IdentifierStyle m = IdentifierStyle {}
- liftIdentifierStyle :: (MonadTrans t, Monad m) => IdentifierStyle m -> IdentifierStyle (t m)
- ident :: MonadParser m => IdentifierStyle m -> m ByteString
- reserve :: MonadParser m => IdentifierStyle m -> String -> m ()
- reserveByteString :: MonadParser m => IdentifierStyle m -> ByteString -> m ()
Documentation
data IdentifierStyle m Source
IdentifierStyle | |
|
liftIdentifierStyle :: (MonadTrans t, Monad m) => IdentifierStyle m -> IdentifierStyle (t m)Source
Lift an identifier style into a monad transformer
ident :: MonadParser m => IdentifierStyle m -> m ByteStringSource
parse an non-reserved identifier or symbol
reserve :: MonadParser m => IdentifierStyle m -> String -> m ()Source
parse a reserved operator or identifier using a given style
reserveByteString :: MonadParser m => IdentifierStyle m -> ByteString -> m ()Source
parse a reserved operator or identifier using a given style specified by bytestring