Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class CanSubst a where Source #
basicSubst :: a -> Subst -> (Maybe a, Subst) Source #
sharingSubst :: a -> Subst -> (Maybe a, Subst) Source #
subst :: Subst -> a -> Maybe a Source #
typeSubst :: TypeSubst -> a -> Maybe a Source #
trySharingSubst :: a -> Subst -> (a, Subst) Source #
trySubst :: Subst -> a -> a Source #
tryTypeSubst :: TypeSubst -> a -> a Source #