idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Core.DeepSeq

Description

 
Synopsis

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 -> ()