idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

Idris.Core.DeepSeq

Contents

- Orphan instances

Description

Synopsis

- forceDefCtxt :: Context -> Context

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