License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

Idris.DeepSeq

Contents

Orphan instances

Description

Documentation

module Idris.Core.DeepSeq

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 -> ()