Copyright	(c) 2018 Reed Mullanix
License	BSD3 (See LICENSE)
Maintainer	Reed Mullanix
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Unbound.Generics.LocallyNameless.Ignore

Description

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

Synopsis

data Ignore t = I !t

Documentation

data Ignore t Source #

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

Constructors

I !t

Instances

Subst a (Ignore b) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Subst Methods isvar :: Ignore b -> Maybe (SubstName (Ignore b) a) Source # isCoerceVar :: Ignore b -> Maybe (SubstCoerce (Ignore b) a) Source # subst :: Name a -> a -> Ignore b -> Ignore b Source # substs :: [(Name a, a)] -> Ignore b -> Ignore b Source #
Show t => Show (Ignore t) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore Methods showsPrec :: Int -> Ignore t -> ShowS # show :: Ignore t -> String # showList :: [Ignore t] -> ShowS #
Generic (Ignore t) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore Associated Types type Rep (Ignore t) :: * -> * # Methods from :: Ignore t -> Rep (Ignore t) x # to :: Rep (Ignore t) x -> Ignore t #
NFData t => NFData (Ignore t) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore Methods rnf :: Ignore t -> () #
Show t => Alpha (Ignore t) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore Methods aeq' :: AlphaCtx -> Ignore t -> Ignore t -> Bool Source # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Ignore t -> f (Ignore t) Source # close :: AlphaCtx -> NamePatFind -> Ignore t -> Ignore t Source # open :: AlphaCtx -> NthPatFind -> Ignore t -> Ignore t Source # isPat :: Ignore t -> DisjointSet AnyName Source # isTerm :: Ignore t -> All Source # isEmbed :: Ignore t -> Bool Source # nthPatFind :: Ignore t -> NthPatFind Source # namePatFind :: Ignore t -> NamePatFind Source # swaps' :: AlphaCtx -> Perm AnyName -> Ignore t -> Ignore t Source # lfreshen' :: LFresh m => AlphaCtx -> Ignore t -> (Ignore t -> Perm AnyName -> m b) -> m b Source # freshen' :: Fresh m => AlphaCtx -> Ignore t -> m (Ignore t, Perm AnyName) Source # acompare' :: AlphaCtx -> Ignore t -> Ignore t -> Ordering Source #
type Rep (Ignore t) Source #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore type Rep (Ignore t) = D1 (MetaData "Ignore" "Unbound.Generics.LocallyNameless.Ignore" "unbound-generics-0.4.0-3CzcjD8SUhgLQazt2sGCP5" False) (C1 (MetaCons "I" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 t)))