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 # 
Instance details

Methods

rnf :: OutputType -> ()

NFData PrimFn # 
Instance details

Methods

rnf :: PrimFn -> ()

NFData ArgOpt # 
Instance details

Methods

rnf :: ArgOpt -> ()

NFData CGInfo # 
Instance details

Methods

rnf :: CGInfo -> ()

NFData DefaultTotality # 
Instance details

Methods

rnf :: DefaultTotality -> ()

NFData Directive # 
Instance details

Methods

rnf :: Directive -> ()

NFData FixDecl # 
Instance details

Methods

rnf :: FixDecl -> ()

NFData Fixity # 
Instance details

Methods

rnf :: Fixity -> ()

NFData FnInfo # 
Instance details

Methods

rnf :: FnInfo -> ()

NFData FnOpt # 
Instance details

Methods

rnf :: FnOpt -> ()

NFData IBCWrite # 
Instance details

Methods

rnf :: IBCWrite -> ()

NFData IOption # 
Instance details

Methods

rnf :: IOption -> ()

NFData IState # 
Instance details

Methods

rnf :: IState -> ()

NFData InteractiveOpts # 
Instance details

Methods

rnf :: InteractiveOpts -> ()

NFData InterfaceInfo # 
Instance details

Methods

rnf :: InterfaceInfo -> ()

NFData OptInfo # 
Instance details

Methods

rnf :: OptInfo -> ()

NFData OutputMode # 
Instance details

Methods

rnf :: OutputMode -> ()

NFData PAltType # 
Instance details

Methods

rnf :: PAltType -> ()

NFData PTerm # 
Instance details

Methods

rnf :: PTerm -> ()

NFData Plicity # 
Instance details

Methods

rnf :: Plicity -> ()

NFData PunInfo # 
Instance details

Methods

rnf :: PunInfo -> ()

NFData RecordInfo # 
Instance details

Methods

rnf :: RecordInfo -> ()

NFData SSymbol # 
Instance details

Methods

rnf :: SSymbol -> ()

NFData SizeChange # 
Instance details

Methods

rnf :: SizeChange -> ()

NFData Static # 
Instance details

Methods

rnf :: Static -> ()

NFData SynContext # 
Instance details

Methods

rnf :: SynContext -> ()

NFData Syntax # 
Instance details

Methods

rnf :: Syntax -> ()

NFData SyntaxInfo # 
Instance details

Methods

rnf :: SyntaxInfo -> ()

NFData SyntaxRules # 
Instance details

Methods

rnf :: SyntaxRules -> ()

NFData TIData # 
Instance details

Methods

rnf :: TIData -> ()

NFData Using # 
Instance details

Methods

rnf :: Using -> ()

NFData ColourTheme # 
Instance details

Methods

rnf :: ColourTheme -> ()

NFData IdrisColour # 
Instance details

Methods

rnf :: IdrisColour -> ()

NFData DataOpt # 
Instance details

Methods

rnf :: DataOpt -> ()

NFData TypeInfo # 
Instance details

Methods

rnf :: TypeInfo -> ()

NFData DocTerm # 
Instance details

Methods

rnf :: DocTerm -> ()

NFData Codegen # 
Instance details

Methods

rnf :: Codegen -> ()

NFData ConsoleWidth # 
Instance details

Methods

rnf :: ConsoleWidth -> ()

NFData IRFormat # 
Instance details

Methods

rnf :: IRFormat -> ()

NFData LanguageExt # 
Instance details

Methods

rnf :: LanguageExt -> ()

NFData LogCat # 
Instance details

Methods

rnf :: LogCat -> ()

NFData Opt # 
Instance details

Methods

rnf :: Opt -> ()

NFData Optimisation # 
Instance details

Methods

rnf :: Optimisation -> ()

NFData REPLPort # 
Instance details

Methods

rnf :: REPLPort -> ()

NFData DynamicLib # 
Instance details

Methods

rnf :: DynamicLib -> ()

NFData PortNumber # 
Instance details

Methods

rnf :: PortNumber -> ()

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

Methods

rnf :: DSL' t -> ()

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

Methods

rnf :: PArg' t -> ()

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

Methods

rnf :: PClause' t -> ()

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

Methods

rnf :: PData' t -> ()

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

Methods

rnf :: PDecl' t -> ()

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

Methods

rnf :: PDo' t -> ()

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

Methods

rnf :: PTactic' t -> ()

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

Methods

rnf :: ProvideWhat' t -> ()

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

Methods

rnf :: Block a -> ()

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

Methods

rnf :: Docstring a -> ()

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

Methods

rnf :: Inline a -> ()