idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
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 -> () #