ltext-0.0.1.1: Higher-order file applicator

Safe HaskellSafe
LanguageHaskell2010

LText.Internal.Classes

Documentation

class SetLike c where Source

Methods

empty :: c a Source

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

class SetLike vars => Bindable vars name a where Source

Methods

fv :: a -> vars name Source

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

Methods

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