Safe Haskell	Safe
Language	Haskell2010

LText.Internal.Classes

Documentation

class SetLike c where Source

Methods

union :: Ord a => c a -> c a -> c a Source

intersection :: Ord a => c a -> c a -> c a Source

difference :: Ord a => c a -> c a -> c a Source

Instances

SetLike Set Source
Ord k => SetLike (Map k) Source

class SetLike vars => Bindable vars name a where Source

Methods

fv :: a -> vars name Source

Instances

Bindable Set ExprVar Expr Source
Bindable Set TypeVar Prenex Source
Bindable Set TypeVar Type Source
Bindable Set TypeVar Context Source
(Foldable f, Ord name, Bindable vars name a) => Bindable vars name (f a) Source

class SetLike (subst name) => Substitutable subst name domain a where Source

Methods

apply :: subst name domain -> a -> a Source

Instances

Substitutable Map ExprVar Expr Expr Source
Substitutable Map TypeVar Type Prenex Source
Substitutable Map TypeVar Type Type Source
Substitutable Map TypeVar Type Context Source
(Functor f, Substitutable subst name domain a) => Substitutable subst name domain (f a) Source