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

Idris.Core.DeepSeq

Contents

Orphan instances

Description

Synopsis

Documentation

forceDefCtxt :: Context -> Context #

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

Orphan instances

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