idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.Core.DeepSeq

Contents

Description

 

Synopsis

Documentation

forceDefCtxt :: Context -> Context #

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

Orphan instances

NFData Ordering # 

Methods

rnf :: Ordering -> () #

NFData RigCount # 

Methods

rnf :: RigCount -> () #

NFData NameType # 

Methods

rnf :: NameType -> () #

NFData ConstraintFC # 

Methods

rnf :: ConstraintFC -> () #

NFData UConstraint # 

Methods

rnf :: UConstraint -> () #

NFData UExp # 

Methods

rnf :: UExp -> () #

NFData ImplicitInfo # 

Methods

rnf :: ImplicitInfo -> () #

NFData Raw # 

Methods

rnf :: Raw -> () #

NFData Universe # 

Methods

rnf :: Universe -> () #

NFData Const # 

Methods

rnf :: Const -> () #

NFData ArithTy # 

Methods

rnf :: ArithTy -> () #

NFData IntTy # 

Methods

rnf :: IntTy -> () #

NFData NativeTy # 

Methods

rnf :: NativeTy -> () #

NFData SpecialName # 

Methods

rnf :: SpecialName -> () #

NFData Name # 

Methods

rnf :: Name -> () #

NFData Err # 

Methods

rnf :: Err -> () #

NFData Provenance # 

Methods

rnf :: Provenance -> () #

NFData ErrorReportPart # 

Methods

rnf :: ErrorReportPart -> () #

NFData OutputAnnotation # 

Methods

rnf :: OutputAnnotation -> () #

NFData TextFormatting # 

Methods

rnf :: TextFormatting -> () #

NFData NameOutput # 

Methods

rnf :: NameOutput -> () #

NFData FC' # 

Methods

rnf :: FC' -> () #

NFData FC # 

Methods

rnf :: FC -> () #

NFData CaseType # 

Methods

rnf :: CaseType -> () #

NFData Context # 

Methods

rnf :: Context -> () #

NFData MetaInformation # 

Methods

rnf :: MetaInformation -> () #

NFData PReason # 

Methods

rnf :: PReason -> () #

NFData Totality # 

Methods

rnf :: Totality -> () #

NFData Accessibility # 

Methods

rnf :: Accessibility -> () #

NFData CaseInfo # 

Methods

rnf :: CaseInfo -> () #

NFData CaseDefs # 

Methods

rnf :: CaseDefs -> () #

NFData Def # 

Methods

rnf :: Def -> () #

NFData n => NFData (TT n) # 

Methods

rnf :: TT n -> () #

NFData a => NFData (AppStatus a) # 

Methods

rnf :: AppStatus a -> () #

NFData b => NFData (Binder b) # 

Methods

rnf :: Binder b -> () #

NFData t => NFData (CaseAlt' t) # 

Methods

rnf :: CaseAlt' t -> () #

NFData t => NFData (SC' t) # 

Methods

rnf :: SC' t -> () #