Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

Idris.DeepSeq

Contents

Orphan instances

Description

Documentation

module Idris.Core.DeepSeq

Orphan instances

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