Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Parser.CParser

Documentation

data CParser t a Source #

Constructors

CParser
Fields cParserNext :: t ⇰ CParser t a cParserFallback :: Parser t a

Instances

Instances details

Ord t => MonadFail (CParser t :: Type -> Type) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods abort :: forall (a :: k). CParser t a Source # (⎅) :: forall (a :: k). CParser t a -> CParser t a -> CParser t a Source #
Ord t => Bind (CParser t) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods (≫=) :: CParser t a -> (a -> CParser t b) -> CParser t b Source #
Ord t => Functor (CParser t) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods map :: (a -> b) -> CParser t a -> CParser t b Source #
Ord t => Monad (CParser t) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser
Return (CParser t) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods return :: a -> CParser t a Source #
Ord t => Append (CParser t a) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods (⧺) :: CParser t a -> CParser t a -> CParser t a Source #
Eps (CParser t ()) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods eps :: CParser t () Source #
Ord t => Monoid (CParser t a) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser
Null (CParser t a) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods null :: CParser t a Source #
Ord t => Seq (CParser t ()) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser Methods (▷) :: CParser t () -> CParser t () -> CParser t () Source #
Ord t => Seqoid (CParser t ()) Source #
Instance details Defined in UVMHS.Lib.Parser.CParser

onCParser :: (Parser t a -> Parser t a) -> CParser t a -> CParser t a Source #

toCParser :: Parser t a -> CParser t a Source #

frCParser :: Ord t => CParser t a -> Parser t a Source #

cpRender :: Ord t => Formats -> CParser t a -> CParser t a Source #

cpErr :: Ord t => 𝕊 -> CParser t a -> CParser t a Source #

cpToken :: Ord t => t -> CParser t t Source #

cpFinal :: Ord t => CParser t a -> CParser t a Source #

cpShaped :: (t -> 𝑂 a) -> CParser t a Source #

cpSatisfies :: (t -> 𝔹) -> CParser t t Source #

cpAny :: CParser t t Source #

cpWord :: forall s t. (Eq t, s ⇄ 𝐼 t) => s -> CParser t s Source #

cpOptional :: Ord t => CParser t a -> CParser t (𝑂 a) Source #

cpMany :: Ord t => CParser t a -> CParser t (𝐿 a) Source #

cpOneOrMore :: Ord t => CParser t a -> CParser t (𝐿 a) Source #

cpManySepBy :: Ord t => CParser t () -> CParser t a -> CParser t (𝐿 a) Source #

cpOneOrMoreSepBy :: Ord t => CParser t () -> CParser t a -> CParser t (𝐿 a) Source #

cpSyntax :: 𝕊 -> CParser TokenBasic TokenBasic Source #

cpNatural :: CParser TokenBasic ℕ Source #

cpInteger :: CParser TokenBasic ℤ Source #

cpDouble :: CParser TokenBasic 𝔻 Source #

cpString :: CParser TokenBasic 𝕊 Source #

cpChar :: CParser TokenBasic ℂ Source #

cpSyntaxWS :: 𝕊 -> CParser TokenWSBasic TokenWSBasic Source #

cpNaturalWS :: CParser TokenWSBasic ℕ Source #

cpIntegerWS :: CParser TokenWSBasic ℤ Source #

cpDoubleWS :: CParser TokenWSBasic 𝔻 Source #

cpStringWS :: CParser TokenWSBasic 𝕊 Source #

cpBlockWS :: 𝕊 -> CParser TokenWSBasic TokenWSBasic Source #

cpOpenWS :: CParser TokenWSBasic () Source #

cpCloseWS :: CParser TokenWSBasic () Source #

cpDelimWS :: CParser TokenWSBasic () Source #

cpNewExpressionContext :: Ord t => CParser t a -> CParser t a Source #

cpNewErrContext :: Ord t => 𝕊 -> CParser t a -> CParser t a Source #

cpNewContext :: Ord t => 𝕊 -> CParser t a -> CParser t a Source #

cpWithContextRendered :: Ord t => CParser t a -> CParser t (𝐴 SrcCxt a) Source #

cpNewWithContextRendered :: Ord t => 𝕊 -> CParser t a -> CParser t (𝐴 SrcCxt a) Source #

cpGetContextRendered :: CParser t SrcCxt Source #

cpNewGetContextRendered :: Ord t => CParser t SrcCxt Source #

cpManyContext :: (Ord t, Comonad f) => (forall b. CParser t b -> CParser t (f b)) -> CParser t a -> CParser t (𝐿 (f a)) Source #

cpOneOrMoreContext :: (Ord t, Comonad f) => (forall b. CParser t b -> CParser t (f b)) -> CParser t a -> CParser t (𝐿 (f a)) Source #

cpManySepByContext :: (Ord t, Comonad f) => (forall b. CParser t b -> CParser t (f b)) -> CParser t () -> CParser t a -> CParser t (𝐿 (f a)) Source #

cpOneOrMoreSepByContext :: (Ord t, Comonad f) => (forall b. CParser t b -> CParser t (f b)) -> CParser t () -> CParser t a -> CParser t (𝐿 (f a)) Source #

runParser₀ :: (ToIter (ParserToken t) ts, Ord t) => 𝕊 -> ts -> CParser t a -> ParserOut t ∧ 𝑂 (ParserState t ∧ a) Source #

parse :: (Pretty a, ToIter (ParserToken t) ts, Ord t) => CParser t a -> 𝕊 -> ts -> Doc ∨ a Source #

parseIO :: (Pretty a, ToIter (ParserToken t) ts, Ord t) => CParser t a -> 𝕊 -> ts -> IO a Source #

parseIOMain :: (Pretty a, ToIter (ParserToken t) ts, Ord t) => CParser t a -> 𝕊 -> ts -> IO () Source #