symantic-parser-0.0.0.20210101: Parser combinators statically optimized and staged via typed meta-programming
Safe HaskellNone
LanguageHaskell2010

Symantic.Parser.Grammar.Dump

Synopsis

Type DumpComb

newtype DumpComb a Source #

Constructors

DumpComb 

Instances

Instances details
Lookable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Foldable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

chainPre :: DumpComb (a -> a) -> DumpComb a -> DumpComb a Source #

chainPost :: DumpComb a -> DumpComb (a -> a) -> DumpComb a Source #

Matchable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

conditional :: Eq a => [Haskell (a -> Bool)] -> [DumpComb b] -> DumpComb a -> DumpComb b -> DumpComb b Source #

match :: Eq a => [Haskell a] -> DumpComb a -> (Haskell a -> DumpComb b) -> DumpComb b -> DumpComb b Source #

Selectable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

branch :: DumpComb (Either a b) -> DumpComb (a -> c) -> DumpComb (b -> c) -> DumpComb c Source #

Alternable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Applicable DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

(<$>) :: Haskell (a -> b) -> DumpComb a -> DumpComb b Source #

(<&>) :: DumpComb a -> Haskell (a -> b) -> DumpComb b Source #

(<$) :: Haskell a -> DumpComb b -> DumpComb a Source #

($>) :: DumpComb a -> Haskell b -> DumpComb b Source #

pure :: Haskell a -> DumpComb a Source #

(<*>) :: DumpComb (a -> b) -> DumpComb a -> DumpComb b Source #

liftA2 :: Haskell (a -> b -> c) -> DumpComb a -> DumpComb b -> DumpComb c Source #

(<*) :: DumpComb a -> DumpComb b -> DumpComb a Source #

(*>) :: DumpComb a -> DumpComb b -> DumpComb b Source #

(<**>) :: DumpComb a -> DumpComb (a -> b) -> DumpComb b Source #

Show letName => Letable letName DumpComb Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

def :: letName -> DumpComb a -> DumpComb a Source #

ref :: Bool -> letName -> DumpComb a Source #

Satisfiable DumpComb tok Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

satisfy :: [ErrorItem tok] -> Haskell (tok -> Bool) -> DumpComb tok Source #

Show (DumpComb a) Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

showsPrec :: Int -> DumpComb a -> ShowS #

show :: DumpComb a -> String #

showList :: [DumpComb a] -> ShowS #

IsString (DumpComb a) Source # 
Instance details

Defined in Symantic.Parser.Grammar.Dump

Methods

fromString :: String -> DumpComb a #