Text.Lex.Manual.Syntax

Definitions

pure : a -> Tok False e a

Totality: total
Visibility: public export

(>>=) : Tok b1 e a -> (a -> Tok b2 e b) -> Tok (b1 || Delay b2) e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 1

(>>) : Tok b1 e () -> Tok b2 e a -> Tok (b1 || Delay b2) e a

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 1

(*>) : Tok b1 e a -> Tok b2 e b -> Tok (b1 || Delay b2) e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3

(<*) : Tok b1 e a -> Tok b2 e b -> Tok (b1 || Delay b2) e a

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3

(<*>) : Tok b1 e (a -> b) -> Tok b2 e a -> Tok (b1 || Delay b2) e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3

pure : a -> AutoTok e a

Totality: total
Visibility: public export

(<*>) : AutoTok e (a -> b) -> AutoTok e a -> AutoTok e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3

(<*) : AutoTok e a -> AutoTok e b -> AutoTok e a

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3

(>>=) : AutoTok e a -> (a -> AutoTok e b) -> AutoTok e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 1

(>>) : AutoTok e () -> AutoTok e a -> AutoTok e a

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 1

(*>) : AutoTok e a -> AutoTok e b -> AutoTok e b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 3