Safe Haskell	None
Language	Haskell2010

Hyper.Infer.ScopeLevel

Synopsis

newtype ScopeLevel = ScopeLevel Int
_ScopeLevel :: Iso' ScopeLevel Int
class Monad m => MonadScopeLevel m where
- localLevel :: m a -> m a

Documentation

newtype ScopeLevel Source #

A representation of scope nesting level, for use in let-generalization and skolem escape detection.

See "Efficient generalization with levels" for a detailed explanation.

Commonly used as the TypeConstraintsOf of terms.

Note: The Ord instance is only for use as a Map key, not a logical ordering, for which PartialOrd is used.

Constructors

ScopeLevel Int

Instances

Instances details

Eq ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods (==) :: ScopeLevel -> ScopeLevel -> Bool # (/=) :: ScopeLevel -> ScopeLevel -> Bool #
Ord ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods compare :: ScopeLevel -> ScopeLevel -> Ordering # (<) :: ScopeLevel -> ScopeLevel -> Bool # (<=) :: ScopeLevel -> ScopeLevel -> Bool # (>) :: ScopeLevel -> ScopeLevel -> Bool # (>=) :: ScopeLevel -> ScopeLevel -> Bool # max :: ScopeLevel -> ScopeLevel -> ScopeLevel # min :: ScopeLevel -> ScopeLevel -> ScopeLevel #
Show ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods showsPrec :: Int -> ScopeLevel -> ShowS # show :: ScopeLevel -> String # showList :: [ScopeLevel] -> ShowS #
Generic ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Associated Types type Rep ScopeLevel :: Type -> Type # Methods from :: ScopeLevel -> Rep ScopeLevel x # to :: Rep ScopeLevel x -> ScopeLevel #
Semigroup ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods (<>) :: ScopeLevel -> ScopeLevel -> ScopeLevel # sconcat :: NonEmpty ScopeLevel -> ScopeLevel # stimes :: Integral b => b -> ScopeLevel -> ScopeLevel #
Monoid ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods mempty :: ScopeLevel # mappend :: ScopeLevel -> ScopeLevel -> ScopeLevel # mconcat :: [ScopeLevel] -> ScopeLevel #
Binary ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods put :: ScopeLevel -> Put # get :: Get ScopeLevel # putList :: [ScopeLevel] -> Put #
NFData ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods rnf :: ScopeLevel -> () #
PartialOrd ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods leq :: ScopeLevel -> ScopeLevel -> Bool # comparable :: ScopeLevel -> ScopeLevel -> Bool #
Pretty ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods pPrintPrec :: PrettyLevel -> Rational -> ScopeLevel -> Doc # pPrint :: ScopeLevel -> Doc # pPrintList :: PrettyLevel -> [ScopeLevel] -> Doc #
TypeConstraints ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel Methods generalizeConstraints :: ScopeLevel -> ScopeLevel Source # toScopeConstraints :: ScopeLevel -> ScopeLevel Source #
type Rep ScopeLevel Source #
Instance details Defined in Hyper.Infer.ScopeLevel type Rep ScopeLevel = D1 ('MetaData "ScopeLevel" "Hyper.Infer.ScopeLevel" "hypertypes-0.1.0.2-GDiSRF0EwgQ6Mkx3yytlTL" 'True) (C1 ('MetaCons "ScopeLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

_ScopeLevel :: Iso' ScopeLevel Int Source #

class Monad m => MonadScopeLevel m where Source #

A class of Monads which maintain a scope level, where the level can be locally increased for computations.

Methods

localLevel :: m a -> m a Source #