Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
AutoAlpha | |
|
Instances
Eq a => Eq (AutoAlpha a) Source # | |
Show a => Show (AutoAlpha a) Source # | |
(Typeable a, GenericAlpha a, Show a) => Alpha (AutoAlpha a) Source # | |
Defined in Unbound.Generics.LocallyNameless.Kind.Derive aeq' :: AlphaCtx -> AutoAlpha a -> AutoAlpha a -> Bool fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> AutoAlpha a -> f (AutoAlpha a) close :: AlphaCtx -> NamePatFind -> AutoAlpha a -> AutoAlpha a open :: AlphaCtx -> NthPatFind -> AutoAlpha a -> AutoAlpha a isPat :: AutoAlpha a -> DisjointSet AnyName isEmbed :: AutoAlpha a -> Bool nthPatFind :: AutoAlpha a -> NthPatFind namePatFind :: AutoAlpha a -> NamePatFind swaps' :: AlphaCtx -> Perm AnyName -> AutoAlpha a -> AutoAlpha a lfreshen' :: LFresh m => AlphaCtx -> AutoAlpha a -> (AutoAlpha a -> Perm AnyName -> m b) -> m b freshen' :: Fresh m => AlphaCtx -> AutoAlpha a -> m (AutoAlpha a, Perm AnyName) acompare' :: AlphaCtx -> AutoAlpha a -> AutoAlpha a -> Ordering |
fvAnyDefK :: forall g a. (GenericAlpha a, Contravariant g, Applicative g) => AlphaCtx -> (AnyName -> g AnyName) -> a -> g a Source #
isTermDefK :: forall a. GenericAlpha a => a -> All Source #
isEmbedDefK :: a -> Bool Source #
nthPatFindDefK :: forall a. GenericAlpha a => a -> NthPatFind Source #
namePatFindDefK :: forall a. GenericAlpha a => a -> NamePatFind Source #
lfreshenDefK :: forall m a b. (LFresh m, GenericAlpha a) => AlphaCtx -> a -> (a -> Perm AnyName -> m b) -> m b Source #
freshenDefK :: forall m a. (Fresh m, GenericAlpha a) => AlphaCtx -> a -> m (a, Perm AnyName) Source #
acompareDefK :: forall a. GenericAlpha a => AlphaCtx -> a -> a -> Ordering Source #
gsubstDefK :: forall a b. (GenericK a, GSubstK b (RepK a) LoT0, Subst b a) => Name b -> b -> a -> a Source #
gsubstsDefK :: forall a b. (GenericK a, GSubstK b (RepK a) LoT0, Subst b a) => [(Name b, b)] -> a -> a Source #