Symantic.Parser.Grammar.Dump

Type DumpComb

newtype DumpComb a

Constructors

DumpComb

Fields

• unDumpComb :: Tree String

Instances

Lookable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

look :: DumpComb a -> DumpComb a

negLook :: DumpComb a -> DumpComb ()

eof :: DumpComb ()

Foldable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

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

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

Matchable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

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

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

Selectable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

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

Alternable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

(<|>) :: DumpComb a -> DumpComb a -> DumpComb a

empty :: DumpComb a

try :: DumpComb a -> DumpComb a

(<+>) :: (Applicable DumpComb, Alternable DumpComb) => DumpComb a -> DumpComb b -> DumpComb (Either a b)

Applicable DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

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

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

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

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

pure :: Haskell a -> DumpComb a

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

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

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

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

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

Show letName => Letable letName DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

def :: letName -> DumpComb a -> DumpComb a

ref :: Bool -> letName -> DumpComb a

Satisfiable DumpComb tok

Defined in Symantic.Parser.Grammar.Dump

Methods

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

Show (DumpComb a)

Defined in Symantic.Parser.Grammar.Dump

Methods

showsPrec :: Int -> DumpComb a -> ShowS

show :: DumpComb a -> String

showList :: [DumpComb a] -> ShowS

IsString (DumpComb a)

Defined in Symantic.Parser.Grammar.Dump

Methods

fromString :: String -> DumpComb a

dumpComb :: DumpComb a -> DumpComb a