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 #

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

Constructors

I !t

Instances

Subst a (Ignore b) #
Instance details 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) #
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) #
Instance details 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) #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore Methods rnf :: Ignore t -> () #
Show t => Alpha (Ignore t) #
Instance details 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) #
Instance details Defined in Unbound.Generics.LocallyNameless.Ignore type Rep (Ignore t) = D1 (MetaData "Ignore" "Unbound.Generics.LocallyNameless.Ignore" "unbound-generics-0.4.0-13HIXEYkkLe2833aMWUTLx" False) (C1 (MetaCons "I" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 t)))