Text.Gigaparsec.Expr.Subtype

Documentation

type (<) sub sup = Subtype sub sup

class Subtype sub sup where

Methods

upcast :: sub -> sup

downcast :: sup -> Maybe sub

Instances

Subtype a a

Defined in Text.Gigaparsec.Expr.Subtype

Methods

upcast :: a -> a

downcast :: a -> Maybe a