Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
Idris.Core.DeepSeq
Contents
Description
- forceDefCtxt :: Context -> Context
Documentation
forceDefCtxt :: Context -> Context #
Forcing the contents of a context, for diagnosing and working around space leaks
Orphan instances
NFData Ordering # | |
NFData RigCount # | |
NFData NameType # | |
NFData ConstraintFC # | |
NFData UConstraint # | |
NFData UExp # | |
NFData ImplicitInfo # | |
NFData Raw # | |
NFData Universe # | |
NFData Const # | |
NFData ArithTy # | |
NFData IntTy # | |
NFData NativeTy # | |
NFData SpecialName # | |
NFData Name # | |
NFData Err # | |
NFData Provenance # | |
NFData ErrorReportPart # | |
NFData OutputAnnotation # | |
NFData TextFormatting # | |
NFData NameOutput # | |
NFData FC' # | |
NFData FC # | |
NFData CaseType # | |
NFData Context # | |
NFData MetaInformation # | |
NFData PReason # | |
NFData Totality # | |
NFData Accessibility # | |
NFData CaseInfo # | |
NFData CaseDefs # | |
NFData Def # | |
NFData n => NFData (TT n) # | |
NFData a => NFData (AppStatus a) # | |
NFData b => NFData (Binder b) # | |
NFData t => NFData (CaseAlt' t) # | |
NFData t => NFData (SC' t) # | |