cuddle-1.1.0.0: CDDL Generator and test utilities
Safe HaskellNone
LanguageGHC2021

Codec.CBOR.Cuddle.Parser

Synopsis

Documentation

data ParserStage Source #

Instances

Instances details
IndexMappable XCddl ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Monoid (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Monoid (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Monoid (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Semigroup (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Semigroup (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Semigroup (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Generic (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XCddl ParserStage) 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XCddl ParserStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))
Generic (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XRule ParserStage) 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XRule ParserStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
Generic (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XTerm ParserStage) 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XTerm ParserStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
Generic (XXTopLevel ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XXTopLevel ParserStage) 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXTopLevel ParserStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
Generic (XXType2 ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XXType2 ParserStage) 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXType2 ParserStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))
Show (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Show (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Show (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Show (XXTopLevel ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Show (XXType2 ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

HasComment (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

HasComment (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Eq (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Eq (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Eq (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Eq (XXTopLevel ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

Eq (XXType2 ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

ToExpr (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

ToExpr (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

ToExpr (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

ToExpr (XXTopLevel ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

ToExpr (XXType2 ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XCddl ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XRule ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XTerm ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXTopLevel ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXType2 ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XCddl ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XCddl ParserStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))
type Rep (XRule ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XRule ParserStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
type Rep (XTerm ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XTerm ParserStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
type Rep (XXTopLevel ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXTopLevel ParserStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))
type Rep (XXType2 ParserStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXType2 ParserStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "ParserXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

optcomp :: MonadParsec e s f => f a -> f (Maybe a) Source #

A variant of optional for composite parsers, which will consume no input if it fails.

sepBy1' :: MonadParsec e s m => m a -> m sep -> m (NonEmpty a) Source #

Variant on sepEndBy1 which doesn't consume the separator