idris-1.3.4: Functional Programming Language with Dependent Types

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