idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.DeepSeq

Description

 

Documentation

Orphan instances

NFData OutputType Source # 
Instance details

Methods

rnf :: OutputType -> ()

NFData PrimFn Source # 
Instance details

Methods

rnf :: PrimFn -> ()

NFData ArgOpt Source # 
Instance details

Methods

rnf :: ArgOpt -> ()

NFData CGInfo Source # 
Instance details

Methods

rnf :: CGInfo -> ()

NFData DefaultTotality Source # 
Instance details

Methods

rnf :: DefaultTotality -> ()

NFData Directive Source # 
Instance details

Methods

rnf :: Directive -> ()

NFData FixDecl Source # 
Instance details

Methods

rnf :: FixDecl -> ()

NFData Fixity Source # 
Instance details

Methods

rnf :: Fixity -> ()

NFData FnInfo Source # 
Instance details

Methods

rnf :: FnInfo -> ()

NFData FnOpt Source # 
Instance details

Methods

rnf :: FnOpt -> ()

NFData IBCWrite Source # 
Instance details

Methods

rnf :: IBCWrite -> ()

NFData IOption Source # 
Instance details

Methods

rnf :: IOption -> ()

NFData IState Source # 
Instance details

Methods

rnf :: IState -> ()

NFData InteractiveOpts Source # 
Instance details

Methods

rnf :: InteractiveOpts -> ()

NFData InterfaceInfo Source # 
Instance details

Methods

rnf :: InterfaceInfo -> ()

NFData OptInfo Source # 
Instance details

Methods

rnf :: OptInfo -> ()

NFData OutputMode Source # 
Instance details

Methods

rnf :: OutputMode -> ()

NFData PAltType Source # 
Instance details

Methods

rnf :: PAltType -> ()

NFData PTerm Source # 
Instance details

Methods

rnf :: PTerm -> ()

NFData Plicity Source # 
Instance details

Methods

rnf :: Plicity -> ()

NFData PunInfo Source # 
Instance details

Methods

rnf :: PunInfo -> ()

NFData RecordInfo Source # 
Instance details

Methods

rnf :: RecordInfo -> ()

NFData SSymbol Source # 
Instance details

Methods

rnf :: SSymbol -> ()

NFData SizeChange Source # 
Instance details

Methods

rnf :: SizeChange -> ()

NFData Static Source # 
Instance details

Methods

rnf :: Static -> ()

NFData SynContext Source # 
Instance details

Methods

rnf :: SynContext -> ()

NFData Syntax Source # 
Instance details

Methods

rnf :: Syntax -> ()

NFData SyntaxInfo Source # 
Instance details

Methods

rnf :: SyntaxInfo -> ()

NFData SyntaxRules Source # 
Instance details

Methods

rnf :: SyntaxRules -> ()

NFData TIData Source # 
Instance details

Methods

rnf :: TIData -> ()

NFData Using Source # 
Instance details

Methods

rnf :: Using -> ()

NFData ColourTheme Source # 
Instance details

Methods

rnf :: ColourTheme -> ()

NFData IdrisColour Source # 
Instance details

Methods

rnf :: IdrisColour -> ()

NFData DataOpt Source # 
Instance details

Methods

rnf :: DataOpt -> ()

NFData TypeInfo Source # 
Instance details

Methods

rnf :: TypeInfo -> ()

NFData DocTerm Source # 
Instance details

Methods

rnf :: DocTerm -> ()

NFData Codegen Source # 
Instance details

Methods

rnf :: Codegen -> ()

NFData ConsoleWidth Source # 
Instance details

Methods

rnf :: ConsoleWidth -> ()

NFData IRFormat Source # 
Instance details

Methods

rnf :: IRFormat -> ()

NFData LanguageExt Source # 
Instance details

Methods

rnf :: LanguageExt -> ()

NFData LogCat Source # 
Instance details

Methods

rnf :: LogCat -> ()

NFData Opt Source # 
Instance details

Methods

rnf :: Opt -> ()

NFData Optimisation Source # 
Instance details

Methods

rnf :: Optimisation -> ()

NFData REPLPort Source # 
Instance details

Methods

rnf :: REPLPort -> ()

NFData DynamicLib Source # 
Instance details

Methods

rnf :: DynamicLib -> ()

NFData PortNumber Source # 
Instance details

Methods

rnf :: PortNumber -> ()

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

Methods

rnf :: DSL' t -> ()

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

Methods

rnf :: PArg' t -> ()

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

Methods

rnf :: PClause' t -> ()

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

Methods

rnf :: PData' t -> ()

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

Methods

rnf :: PDecl' t -> ()

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

Methods

rnf :: PDo' t -> ()

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

Methods

rnf :: PTactic' t -> ()

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

Methods

rnf :: ProvideWhat' t -> ()

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

Methods

rnf :: Block a -> ()

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

Methods

rnf :: Docstring a -> ()

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

Methods

rnf :: Inline a -> ()