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 Source #

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

Orphan instances

NFData CaseType Source # 
Instance details

Methods

rnf :: CaseType -> ()

NFData Accessibility Source # 
Instance details

Methods

rnf :: Accessibility -> ()

NFData CaseDefs Source # 
Instance details

Methods

rnf :: CaseDefs -> ()

NFData CaseInfo Source # 
Instance details

Methods

rnf :: CaseInfo -> ()

NFData Context Source # 
Instance details

Methods

rnf :: Context -> ()

NFData Def Source # 
Instance details

Methods

rnf :: Def -> ()

NFData MetaInformation Source # 
Instance details

Methods

rnf :: MetaInformation -> ()

NFData PReason Source # 
Instance details

Methods

rnf :: PReason -> ()

NFData Totality Source # 
Instance details

Methods

rnf :: Totality -> ()

NFData ArithTy Source # 
Instance details

Methods

rnf :: ArithTy -> ()

NFData Const Source # 
Instance details

Methods

rnf :: Const -> ()

NFData ConstraintFC Source # 
Instance details

Methods

rnf :: ConstraintFC -> ()

NFData Err Source # 
Instance details

Methods

rnf :: Err -> ()

NFData ErrorReportPart Source # 
Instance details

Methods

rnf :: ErrorReportPart -> ()

NFData FC Source # 
Instance details

Methods

rnf :: FC -> ()

NFData FC' Source # 
Instance details

Methods

rnf :: FC' -> ()

NFData ImplicitInfo Source # 
Instance details

Methods

rnf :: ImplicitInfo -> ()

NFData IntTy Source # 
Instance details

Methods

rnf :: IntTy -> ()

NFData Name Source # 
Instance details

Methods

rnf :: Name -> ()

NFData NameOutput Source # 
Instance details

Methods

rnf :: NameOutput -> ()

NFData NameType Source # 
Instance details

Methods

rnf :: NameType -> ()

NFData NativeTy Source # 
Instance details

Methods

rnf :: NativeTy -> ()

NFData OutputAnnotation Source # 
Instance details

Methods

rnf :: OutputAnnotation -> ()

NFData Provenance Source # 
Instance details

Methods

rnf :: Provenance -> ()

NFData Raw Source # 
Instance details

Methods

rnf :: Raw -> ()

NFData RigCount Source # 
Instance details

Methods

rnf :: RigCount -> ()

NFData SpecialName Source # 
Instance details

Methods

rnf :: SpecialName -> ()

NFData TextFormatting Source # 
Instance details

Methods

rnf :: TextFormatting -> ()

NFData UConstraint Source # 
Instance details

Methods

rnf :: UConstraint -> ()

NFData UExp Source # 
Instance details

Methods

rnf :: UExp -> ()

NFData Universe Source # 
Instance details

Methods

rnf :: Universe -> ()

NFData t => NFData (CaseAlt' t) Source # 
Instance details

Methods

rnf :: CaseAlt' t -> ()

NFData t => NFData (SC' t) Source # 
Instance details

Methods

rnf :: SC' t -> ()

NFData a => NFData (AppStatus a) Source # 
Instance details

Methods

rnf :: AppStatus a -> ()

NFData b => NFData (Binder b) Source # 
Instance details

Methods

rnf :: Binder b -> ()

NFData n => NFData (TT n) Source # 
Instance details

Methods

rnf :: TT n -> ()