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 Source # | |
Methods rnf :: OutputType -> () | |
NFData PrimFn Source # | |
NFData ArgOpt Source # | |
NFData CGInfo Source # | |
NFData DefaultTotality Source # | |
Methods rnf :: DefaultTotality -> () | |
NFData Directive Source # | |
NFData FixDecl Source # | |
NFData Fixity Source # | |
NFData FnInfo Source # | |
NFData FnOpt Source # | |
NFData IBCWrite Source # | |
NFData IOption Source # | |
NFData IState Source # | |
NFData InteractiveOpts Source # | |
Methods rnf :: InteractiveOpts -> () | |
NFData InterfaceInfo Source # | |
Methods rnf :: InterfaceInfo -> () | |
NFData OptInfo Source # | |
NFData OutputMode Source # | |
Methods rnf :: OutputMode -> () | |
NFData PAltType Source # | |
NFData PTerm Source # | |
NFData Plicity Source # | |
NFData PunInfo Source # | |
NFData RecordInfo Source # | |
Methods rnf :: RecordInfo -> () | |
NFData SSymbol Source # | |
NFData SizeChange Source # | |
Methods rnf :: SizeChange -> () | |
NFData Static Source # | |
NFData SynContext Source # | |
Methods rnf :: SynContext -> () | |
NFData Syntax Source # | |
NFData SyntaxInfo Source # | |
Methods rnf :: SyntaxInfo -> () | |
NFData SyntaxRules Source # | |
Methods rnf :: SyntaxRules -> () | |
NFData TIData Source # | |
NFData Using Source # | |
NFData ColourTheme Source # | |
Methods rnf :: ColourTheme -> () | |
NFData IdrisColour Source # | |
Methods rnf :: IdrisColour -> () | |
NFData DataOpt Source # | |
NFData TypeInfo Source # | |
NFData DocTerm Source # | |
NFData Codegen Source # | |
NFData ConsoleWidth Source # | |
Methods rnf :: ConsoleWidth -> () | |
NFData IRFormat Source # | |
NFData LanguageExt Source # | |
Methods rnf :: LanguageExt -> () | |
NFData LogCat Source # | |
NFData Opt Source # | |
NFData Optimisation Source # | |
Methods rnf :: Optimisation -> () | |
NFData REPLPort Source # | |
NFData DynamicLib Source # | |
Methods rnf :: DynamicLib -> () | |
NFData PortNumber Source # | |
Methods rnf :: PortNumber -> () | |
NFData t => NFData (DSL' t) Source # | |
NFData t => NFData (PArg' t) Source # | |
NFData t => NFData (PClause' t) Source # | |
NFData t => NFData (PData' t) Source # | |
NFData t => NFData (PDecl' t) Source # | |
NFData t => NFData (PDo' t) Source # | |
NFData t => NFData (PTactic' t) Source # | |
NFData t => NFData (ProvideWhat' t) Source # | |
Methods rnf :: ProvideWhat' t -> () | |
NFData a => NFData (Block a) Source # | |
NFData a => NFData (Docstring a) Source # | |
NFData a => NFData (Inline a) Source # | |