idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell2010

Idris.Core.DeepSeq

Contents

- Orphan instances

Description

Synopsis

- forceDefCtxt :: Context -> Context

# Documentation

forceDefCtxt :: Context -> Context #

Forcing the contents of a context, for diagnosing and working around space leaks

# Orphan instances

NFData CaseType # |
Instance details Methods rnf :: CaseType -> () #
NFData Accessibility # |
Instance details Methods rnf :: Accessibility -> () #
NFData CaseDefs # |
Instance details Methods rnf :: CaseDefs -> () #
NFData CaseInfo # |
Instance details Methods rnf :: CaseInfo -> () #
NFData Context # |
Instance details Methods rnf :: Context -> () #
NFData Def # |
Instance details Methods rnf :: Def -> () #
NFData MetaInformation # |
Instance details Methods rnf :: MetaInformation -> () #
NFData PReason # |
Instance details Methods rnf :: PReason -> () #
NFData Totality # |
Instance details Methods rnf :: Totality -> () #
NFData ArithTy # |
Instance details Methods rnf :: ArithTy -> () #
NFData Const # |
Instance details Methods rnf :: Const -> () #
NFData ConstraintFC # |
Instance details Methods rnf :: ConstraintFC -> () #
NFData Err # |
Instance details Methods rnf :: Err -> () #
NFData ErrorReportPart # |
Instance details Methods rnf :: ErrorReportPart -> () #
NFData FC # |
Instance details Methods rnf :: FC -> () #
NFData FC' # |
Instance details Methods rnf :: FC' -> () #
NFData ImplicitInfo # |
Instance details Methods rnf :: ImplicitInfo -> () #
NFData IntTy # |
Instance details Methods rnf :: IntTy -> () #
NFData Name # |
Instance details Methods rnf :: Name -> () #
NFData NameOutput # |
Instance details Methods rnf :: NameOutput -> () #
NFData NameType # |
Instance details Methods rnf :: NameType -> () #
NFData NativeTy # |
Instance details Methods rnf :: NativeTy -> () #
NFData OutputAnnotation # |
Instance details Methods rnf :: OutputAnnotation -> () #
NFData Provenance # |
Instance details Methods rnf :: Provenance -> () #
NFData Raw # |
Instance details Methods rnf :: Raw -> () #
NFData RigCount # |
Instance details Methods rnf :: RigCount -> () #
NFData SpecialName # |
Instance details Methods rnf :: SpecialName -> () #
NFData TextFormatting # |
Instance details Methods rnf :: TextFormatting -> () #
NFData UConstraint # |
Instance details Methods rnf :: UConstraint -> () #
NFData UExp # |
Instance details Methods rnf :: UExp -> () #
NFData Universe # |
Instance details Methods rnf :: Universe -> () #
NFData t => NFData (CaseAlt' t) # |
Instance details Methods rnf :: CaseAlt' t -> () #
NFData t => NFData (SC' t) # |
Instance details Methods rnf :: SC' t -> () #
NFData a => NFData (AppStatus a) # |
Instance details Methods rnf :: AppStatus a -> () #
NFData b => NFData (Binder b) # |
Instance details Methods rnf :: Binder b -> () #
NFData n => NFData (TT n) # |
Instance details Methods rnf :: TT n -> () #