License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

Idris.Core.DeepSeq

Contents

Orphan instances

Description

Synopsis

forceDefCtxt :: Context -> Context

Documentation

forceDefCtxt :: Context -> Context Source #

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

Orphan instances

NFData RigCount Source #
Instance details Methods rnf :: RigCount -> () #
NFData NameType Source #
Instance details Methods rnf :: NameType -> () #
NFData ConstraintFC Source #
Instance details Methods rnf :: ConstraintFC -> () #
NFData UConstraint Source #
Instance details Methods rnf :: UConstraint -> () #
NFData UExp Source #
Instance details Methods rnf :: UExp -> () #
NFData ImplicitInfo Source #
Instance details Methods rnf :: ImplicitInfo -> () #
NFData Raw Source #
Instance details Methods rnf :: Raw -> () #
NFData Universe Source #
Instance details Methods rnf :: Universe -> () #
NFData Const Source #
Instance details Methods rnf :: Const -> () #
NFData ArithTy Source #
Instance details Methods rnf :: ArithTy -> () #
NFData IntTy Source #
Instance details Methods rnf :: IntTy -> () #
NFData NativeTy Source #
Instance details Methods rnf :: NativeTy -> () #
NFData SpecialName Source #
Instance details Methods rnf :: SpecialName -> () #
NFData Name Source #
Instance details Methods rnf :: Name -> () #
NFData Err Source #
Instance details Methods rnf :: Err -> () #
NFData Provenance Source #
Instance details Methods rnf :: Provenance -> () #
NFData ErrorReportPart Source #
Instance details Methods rnf :: ErrorReportPart -> () #
NFData OutputAnnotation Source #
Instance details Methods rnf :: OutputAnnotation -> () #
NFData TextFormatting Source #
Instance details Methods rnf :: TextFormatting -> () #
NFData NameOutput Source #
Instance details Methods rnf :: NameOutput -> () #
NFData FC' Source #
Instance details Methods rnf :: FC' -> () #
NFData FC Source #
Instance details Methods rnf :: FC -> () #
NFData CaseType Source #
Instance details Methods rnf :: CaseType -> () #
NFData Context Source #
Instance details Methods rnf :: Context -> () #
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 Accessibility Source #
Instance details Methods rnf :: Accessibility -> () #
NFData CaseInfo Source #
Instance details Methods rnf :: CaseInfo -> () #
NFData CaseDefs Source #
Instance details Methods rnf :: CaseDefs -> () #
NFData Def Source #
Instance details Methods rnf :: Def -> () #
NFData n => NFData (TT n) Source #
Instance details Methods rnf :: TT n -> () #
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 t => NFData (CaseAlt' t) Source #
Instance details Methods rnf :: CaseAlt' t -> () #
NFData t => NFData (SC' t) Source #
Instance details Methods rnf :: SC' t -> () #