Unbound.Generics.LocallyNameless.Ignore

Ignores a term for the purposes of alpha-equality and substitution

Documentation

data Ignore t

Ignores a term t for the purpose of alpha-equality and substitution

Constructors

I !t

Instances

Subst a (Ignore b)

Defined in Unbound.Generics.LocallyNameless.Subst

Methods

isvar :: Ignore b -> Maybe (SubstName (Ignore b) a)

isCoerceVar :: Ignore b -> Maybe (SubstCoerce (Ignore b) a)

subst :: Name a -> a -> Ignore b -> Ignore b

substs :: [(Name a, a)] -> Ignore b -> Ignore b

Show t => Show (Ignore t)

Defined in Unbound.Generics.LocallyNameless.Ignore

Methods

showsPrec :: Int -> Ignore t -> ShowS

show :: Ignore t -> String

showList :: [Ignore t] -> ShowS

Generic (Ignore t)

Defined in Unbound.Generics.LocallyNameless.Ignore

Associated Types

type Rep (Ignore t) :: Type -> Type

Methods

from :: Ignore t -> Rep (Ignore t) x

to :: Rep (Ignore t) x -> Ignore t

NFData t => NFData (Ignore t)

Defined in Unbound.Generics.LocallyNameless.Ignore

Methods

rnf :: Ignore t -> ()

Show t => Alpha (Ignore t)

Defined in Unbound.Generics.LocallyNameless.Ignore

Methods

aeq' :: AlphaCtx -> Ignore t -> Ignore t -> Bool

fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Ignore t -> f (Ignore t)

close :: AlphaCtx -> NamePatFind -> Ignore t -> Ignore t

open :: AlphaCtx -> NthPatFind -> Ignore t -> Ignore t

isPat :: Ignore t -> DisjointSet AnyName

isTerm :: Ignore t -> All

isEmbed :: Ignore t -> Bool

nthPatFind :: Ignore t -> NthPatFind

namePatFind :: Ignore t -> NamePatFind

swaps' :: AlphaCtx -> Perm AnyName -> Ignore t -> Ignore t

lfreshen' :: LFresh m => AlphaCtx -> Ignore t -> (Ignore t -> Perm AnyName -> m b) -> m b

freshen' :: Fresh m => AlphaCtx -> Ignore t -> m (Ignore t, Perm AnyName)

acompare' :: AlphaCtx -> Ignore t -> Ignore t -> Ordering

type Rep (Ignore t)

Defined in Unbound.Generics.LocallyNameless.Ignore

type Rep (Ignore t) = D1 (MetaData "Ignore" "Unbound.Generics.LocallyNameless.Ignore" "unbound-generics-0.4.1-7nK9k72nPaDBZ99uX0BGq7" False) (C1 (MetaCons "I" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 t)))