Data.BAByNF.Core.Parseable

Documentation

data Parseable a where

Constructors

Seq :: Ref a => NonEmpty (Parseable a) -> Parseable a

Alt :: Ref a => NonEmpty (Parseable a) -> Parseable a

Rep :: Ref a => Parseable a -> Repeat -> Parseable a

Rule :: Ref a => a -> Parseable a

Unit :: String -> TreeParser a -> Parseable a

Instances

Show a => Show (Parseable a)

Defined in Data.BAByNF.Core.Parseable

Methods

showsPrec :: Int -> Parseable a -> ShowS

show :: Parseable a -> String

showList :: [Parseable a] -> ShowS

toParser :: (Ref a, Show a) => Dict a -> Parseable a -> TreeParser a

type Dict a = RefDict a (Parseable a)

type TreeParser a = Parser (Tree a)