idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Core.DeepSeq

Contents

Description

 

Synopsis

Documentation

forceDefCtxt :: Context -> Context Source #

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

Orphan instances

NFData RigCount Source # 

Methods

rnf :: RigCount -> () #

NFData NameType Source # 

Methods

rnf :: NameType -> () #

NFData ConstraintFC Source # 

Methods

rnf :: ConstraintFC -> () #

NFData UConstraint Source # 

Methods

rnf :: UConstraint -> () #

NFData UExp Source # 

Methods

rnf :: UExp -> () #

NFData ImplicitInfo Source # 

Methods

rnf :: ImplicitInfo -> () #

NFData Raw Source # 

Methods

rnf :: Raw -> () #

NFData Universe Source # 

Methods

rnf :: Universe -> () #

NFData Const Source # 

Methods

rnf :: Const -> () #

NFData ArithTy Source # 

Methods

rnf :: ArithTy -> () #

NFData IntTy Source # 

Methods

rnf :: IntTy -> () #

NFData NativeTy Source # 

Methods

rnf :: NativeTy -> () #

NFData SpecialName Source # 

Methods

rnf :: SpecialName -> () #

NFData Name Source # 

Methods

rnf :: Name -> () #

NFData Err Source # 

Methods

rnf :: Err -> () #

NFData Provenance Source # 

Methods

rnf :: Provenance -> () #

NFData ErrorReportPart Source # 

Methods

rnf :: ErrorReportPart -> () #

NFData OutputAnnotation Source # 

Methods

rnf :: OutputAnnotation -> () #

NFData TextFormatting Source # 

Methods

rnf :: TextFormatting -> () #

NFData NameOutput Source # 

Methods

rnf :: NameOutput -> () #

NFData FC' Source # 

Methods

rnf :: FC' -> () #

NFData FC Source # 

Methods

rnf :: FC -> () #

NFData CaseType Source # 

Methods

rnf :: CaseType -> () #

NFData Context Source # 

Methods

rnf :: Context -> () #

NFData MetaInformation Source # 

Methods

rnf :: MetaInformation -> () #

NFData PReason Source # 

Methods

rnf :: PReason -> () #

NFData Totality Source # 

Methods

rnf :: Totality -> () #

NFData Accessibility Source # 

Methods

rnf :: Accessibility -> () #

NFData CaseInfo Source # 

Methods

rnf :: CaseInfo -> () #

NFData CaseDefs Source # 

Methods

rnf :: CaseDefs -> () #

NFData Def Source # 

Methods

rnf :: Def -> () #

NFData n => NFData (TT n) Source # 

Methods

rnf :: TT n -> () #

NFData a => NFData (AppStatus a) Source # 

Methods

rnf :: AppStatus a -> () #

NFData b => NFData (Binder b) Source # 

Methods

rnf :: Binder b -> () #

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

Methods

rnf :: CaseAlt' t -> () #

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

Methods

rnf :: SC' t -> () #