Symantic.Parser.Grammar.View

Type ViewGrammar

newtype ViewGrammar (showName :: Bool) a

Constructors

ViewGrammar

Fields

• unViewGrammar :: Tree String

Instances

ShowLetName sN letName => Letable letName (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

def :: letName -> ViewGrammar sN a -> ViewGrammar sN a

ref :: Bool -> letName -> ViewGrammar sN a

Satisfiable tok (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

satisfy :: [ErrorItem tok] -> TermGrammar (tok -> Bool) -> ViewGrammar sN tok

item :: ViewGrammar sN tok

Lookable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

look :: ViewGrammar sN a -> ViewGrammar sN a

negLook :: ViewGrammar sN a -> ViewGrammar sN ()

eof :: ViewGrammar sN ()

Foldable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

chainPre :: ViewGrammar sN (a -> a) -> ViewGrammar sN a -> ViewGrammar sN a

chainPost :: ViewGrammar sN a -> ViewGrammar sN (a -> a) -> ViewGrammar sN a

Matchable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

conditional :: Eq a => ViewGrammar sN a -> [TermGrammar (a -> Bool)] -> [ViewGrammar sN b] -> ViewGrammar sN b -> ViewGrammar sN b

match :: Eq a => ViewGrammar sN a -> [TermGrammar a] -> (TermGrammar a -> ViewGrammar sN b) -> ViewGrammar sN b -> ViewGrammar sN b

Selectable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

branch :: ViewGrammar sN (Either a b) -> ViewGrammar sN (a -> c) -> ViewGrammar sN (b -> c) -> ViewGrammar sN c

Alternable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

(<|>) :: ViewGrammar sN a -> ViewGrammar sN a -> ViewGrammar sN a

empty :: ViewGrammar sN a

try :: ViewGrammar sN a -> ViewGrammar sN a

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

Applicable (ViewGrammar sN)

Defined in Symantic.Parser.Grammar.View

Methods

(<$>) :: TermGrammar (a -> b) -> ViewGrammar sN a -> ViewGrammar sN b

(<&>) :: ViewGrammar sN a -> TermGrammar (a -> b) -> ViewGrammar sN b

(<$) :: TermGrammar a -> ViewGrammar sN b -> ViewGrammar sN a

($>) :: ViewGrammar sN a -> TermGrammar b -> ViewGrammar sN b

pure :: TermGrammar a -> ViewGrammar sN a

(<*>) :: ViewGrammar sN (a -> b) -> ViewGrammar sN a -> ViewGrammar sN b

liftA2 :: TermGrammar (a -> b -> c) -> ViewGrammar sN a -> ViewGrammar sN b -> ViewGrammar sN c

(<*) :: ViewGrammar sN a -> ViewGrammar sN b -> ViewGrammar sN a

(*>) :: ViewGrammar sN a -> ViewGrammar sN b -> ViewGrammar sN b

(<**>) :: ViewGrammar sN a -> ViewGrammar sN (a -> b) -> ViewGrammar sN b

Show (ViewGrammar sN a)

Defined in Symantic.Parser.Grammar.View

Methods

showsPrec :: Int -> ViewGrammar sN a -> ShowS

show :: ViewGrammar sN a -> String

showList :: [ViewGrammar sN a] -> ShowS

IsString (ViewGrammar sN a)

Defined in Symantic.Parser.Grammar.View

Methods

fromString :: String -> ViewGrammar sN a

viewGrammar :: ViewGrammar sN a -> ViewGrammar sN a