Kempe.Parser

Documentation

parse :: ByteString -> Either (ParseError AlexPosn) (Module AlexPosn AlexPosn AlexPosn)

parseWithMax :: ByteString -> Either (ParseError AlexPosn) (Int, Module AlexPosn AlexPosn AlexPosn)

parseWithCtx :: ByteString -> AlexUserState -> Either (ParseError AlexPosn) (AlexUserState, Module AlexPosn AlexPosn AlexPosn)

parseWithInitCtx :: ByteString -> Either (ParseError AlexPosn) (AlexUserState, Module AlexPosn AlexPosn AlexPosn)

data ParseError a

Constructors

Unexpected (Token a)

LexErr String

NoImpl (Name a)

Instances

Pretty a => Show (ParseError a)

Defined in Kempe.Parser

Methods

showsPrec :: Int -> ParseError a -> ShowS

show :: ParseError a -> String

showList :: [ParseError a] -> ShowS

Generic (ParseError a)

Defined in Kempe.Parser

Associated Types

type Rep (ParseError a) :: Type -> Type

Methods

from :: ParseError a -> Rep (ParseError a) x

to :: Rep (ParseError a) x -> ParseError a

(Pretty a, Typeable a) => Exception (ParseError a)

Defined in Kempe.Parser

Methods

toException :: ParseError a -> SomeException

fromException :: SomeException -> Maybe (ParseError a)

displayException :: ParseError a -> String

NFData a => NFData (ParseError a)

Defined in Kempe.Parser

Methods

rnf :: ParseError a -> ()

Pretty a => Pretty (ParseError a)

Defined in Kempe.Parser

Methods

pretty :: ParseError a -> Doc ann

prettyList :: [ParseError a] -> Doc ann

type Rep (ParseError a)

Defined in Kempe.Parser

type Rep (ParseError a) = D1 ('MetaData "ParseError" "Kempe.Parser" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (C1 ('MetaCons "Unexpected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Token a))) :+: (C1 ('MetaCons "LexErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "NoImpl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)))))