License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.DeepSeq
Contents
Description
Documentation
module Idris.Core.DeepSeq
Orphan instances
NFData OutputType # | |
Methods rnf :: OutputType -> () | |
NFData PrimFn # | |
NFData ArgOpt # | |
NFData CGInfo # | |
NFData DefaultTotality # | |
Methods rnf :: DefaultTotality -> () | |
NFData Directive # | |
NFData FixDecl # | |
NFData Fixity # | |
NFData FnInfo # | |
NFData FnOpt # | |
NFData IBCWrite # | |
NFData IOption # | |
NFData IState # | |
NFData InteractiveOpts # | |
Methods rnf :: InteractiveOpts -> () | |
NFData InterfaceInfo # | |
Methods rnf :: InterfaceInfo -> () | |
NFData OptInfo # | |
NFData OutputMode # | |
Methods rnf :: OutputMode -> () | |
NFData PAltType # | |
NFData PTerm # | |
NFData Plicity # | |
NFData PunInfo # | |
NFData RecordInfo # | |
Methods rnf :: RecordInfo -> () | |
NFData SSymbol # | |
NFData SizeChange # | |
Methods rnf :: SizeChange -> () | |
NFData Static # | |
NFData SynContext # | |
Methods rnf :: SynContext -> () | |
NFData Syntax # | |
NFData SyntaxInfo # | |
Methods rnf :: SyntaxInfo -> () | |
NFData SyntaxRules # | |
Methods rnf :: SyntaxRules -> () | |
NFData TIData # | |
NFData Using # | |
NFData ColourTheme # | |
Methods rnf :: ColourTheme -> () | |
NFData IdrisColour # | |
Methods rnf :: IdrisColour -> () | |
NFData DataOpt # | |
NFData TypeInfo # | |
NFData DocTerm # | |
NFData Codegen # | |
NFData ConsoleWidth # | |
Methods rnf :: ConsoleWidth -> () | |
NFData IRFormat # | |
NFData LanguageExt # | |
Methods rnf :: LanguageExt -> () | |
NFData LogCat # | |
NFData Opt # | |
NFData Optimisation # | |
Methods rnf :: Optimisation -> () | |
NFData REPLPort # | |
NFData DynamicLib # | |
Methods rnf :: DynamicLib -> () | |
NFData PortNumber # | |
Methods rnf :: PortNumber -> () | |
NFData t => NFData (DSL' t) # | |
NFData t => NFData (PArg' t) # | |
NFData t => NFData (PClause' t) # | |
NFData t => NFData (PData' t) # | |
NFData t => NFData (PDecl' t) # | |
NFData t => NFData (PDo' t) # | |
NFData t => NFData (PTactic' t) # | |
NFData t => NFData (ProvideWhat' t) # | |
Methods rnf :: ProvideWhat' t -> () | |
NFData a => NFData (Block a) # | |
NFData a => NFData (Docstring a) # | |
NFData a => NFData (Inline a) # | |