Libraries.Utils.Shunting

Definitions

data OpPrec : Type

Totality: total
Visibility: public export
Constructors:

AssocL : Nat -> OpPrec

AssocR : Nat -> OpPrec

NonAssoc : Nat -> OpPrec

Prefix : Nat -> OpPrec

Hint: 

Show OpPrec

data Tok : Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Op : FC -> FC -> op -> OpPrec -> Tok op a

Expr : a -> Tok op a

Hint: 

(Show op, Show a) => Show (Tok op a)

data Tree : Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Infix : FC -> FC -> op -> Tree op a -> Tree op a -> Tree op a

Pre : FC -> FC -> op -> Tree op a -> Tree op a

Leaf : a -> Tree op a

Hints:

Bifunctor Tree

(Show op, Show a) => Show (Tree op a)

parseOps : Interpolation op => Show op => List (Tok op a) -> Core (Tree op a)

Totality: total
Visibility: export