idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | Safe-Inferred
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 -> ()