Unbound.Generics.LocallyNameless.Internal.GSubst

A typeclass for generic structural substitution.

Documentation

class GSubst b (f :: Type -> Type) where

Methods

gsubst :: Name b -> b -> f c -> f c

gsubsts :: [(Name b, b)] -> f c -> f c

gsubstBvs :: AlphaCtx -> [b] -> f c -> f c

Instances

GSubst b (U1 :: Type -> Type)

Defined in Unbound.Generics.LocallyNameless.Internal.GSubst

Methods

gsubst :: Name b -> b -> U1 c -> U1 c

gsubsts :: [(Name b, b)] -> U1 c -> U1 c

gsubstBvs :: AlphaCtx -> [b] -> U1 c -> U1 c

GSubst b (V1 :: Type -> Type)

Defined in Unbound.Generics.LocallyNameless.Internal.GSubst

Methods

gsubst :: Name b -> b -> V1 c -> V1 c

gsubsts :: [(Name b, b)] -> V1 c -> V1 c

gsubstBvs :: AlphaCtx -> [b] -> V1 c -> V1 c

(GSubst b f, GSubst b g) => GSubst b (f :*: g)

Defined in Unbound.Generics.LocallyNameless.Internal.GSubst

Methods

gsubst :: Name b -> b -> (f :*: g) c -> (f :*: g) c

gsubsts :: [(Name b, b)] -> (f :*: g) c -> (f :*: g) c

gsubstBvs :: AlphaCtx -> [b] -> (f :*: g) c -> (f :*: g) c

(GSubst b f, GSubst b g) => GSubst b (f :+: g)

Defined in Unbound.Generics.LocallyNameless.Internal.GSubst

Methods

gsubst :: Name b -> b -> (f :+: g) c -> (f :+: g) c

gsubsts :: [(Name b, b)] -> (f :+: g) c -> (f :+: g) c

gsubstBvs :: AlphaCtx -> [b] -> (f :+: g) c -> (f :+: g) c

Subst b c => GSubst b (K1 i c :: Type -> Type)

Defined in Unbound.Generics.LocallyNameless.Subst

Methods

gsubst :: Name b -> b -> K1 i c c0 -> K1 i c c0

gsubsts :: [(Name b, b)] -> K1 i c c0 -> K1 i c c0

gsubstBvs :: AlphaCtx -> [b] -> K1 i c c0 -> K1 i c c0

GSubst b f => GSubst b (M1 i c f)

Defined in Unbound.Generics.LocallyNameless.Internal.GSubst

Methods

gsubst :: Name b -> b -> M1 i c f c0 -> M1 i c f c0

gsubsts :: [(Name b, b)] -> M1 i c f c0 -> M1 i c f c0

gsubstBvs :: AlphaCtx -> [b] -> M1 i c f c0 -> M1 i c f c0