A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from http://hackage.haskell.org/packages/archive/base/4.6.0.0/doc/html/GHC-Generics.html below:

GHC.Generics

Generic representation types

data V1 p Source

Void: used for datatypes without constructors

data U1 p Source

Unit: used for constructors without arguments

newtype Par1 p Source

Used for marking occurrences of the parameter

newtype Rec1 f p Source

Recursive calls of kind * -> *

newtype K1 i c p Source

Constants, additional parameters and recursion of kind *

newtype M1 i c f p Source

Meta-information (constructor names, etc.)

data (f :+: g) p Source

Sums: encode choice between constructors

data (f :*: g) p Source

Products: encode multiple arguments to constructors

newtype (f :.: g) p Source

Composition of functors

Synonyms for convenience

type Rec0 = K1 RSource

Type synonym for encoding recursion (of kind *)

type Par0 = K1 PSource

Deprecated: Par0 is no longer used; use Rec0 instead

Type synonym for encoding parameters (other than the last)

data R Source

Tag for K1: recursion (of kind *)

data P Source

Deprecated: P is no longer used; use R instead

Tag for K1: parameters (other than the last)

type D1 = M1 DSource

Type synonym for encoding meta-information for datatypes

type C1 = M1 CSource

Type synonym for encoding meta-information for constructors

type S1 = M1 SSource

Type synonym for encoding meta-information for record selectors

data C Source

Tag for M1: constructor

data S Source

Tag for M1: record selector

Meta-information

class Datatype d whereSource

Class for datatypes that represent datatypes

Methods

datatypeName :: t d (f :: * -> *) a -> [Char]Source

The name of the datatype (unqualified)

moduleName :: t d (f :: * -> *) a -> [Char]Source

The fully-qualified name of the module where the type is declared

Instances

Datatype D1(,,,,,,)   Datatype D1(,,,,,)   Datatype D1(,,,,)   Datatype D1(,,,)   Datatype D1(,,)   Datatype D1(,)   Datatype D1Either   Datatype D1Maybe   Datatype D1[]   Datatype D1()   Datatype D1Ordering   Datatype D1Bool   Datatype D_Char   Datatype D_Double   Datatype D_Float   Datatype D_Int  

class Constructor c whereSource

Class for datatypes that represent data constructors

Instances

Constructor C1_0(,,,,,,)   Constructor C1_0(,,,,,)   Constructor C1_0(,,,,)   Constructor C1_0(,,,)   Constructor C1_0(,,)   Constructor C1_0(,)   Constructor C1_0Either   Constructor C1_1Either   Constructor C1_0Maybe   Constructor C1_1Maybe   Constructor C1_0[]   Constructor C1_1[]   Constructor C1_0()   Constructor C1_0Ordering   Constructor C1_1Ordering   Constructor C1_2Ordering   Constructor C1_0Bool   Constructor C1_1Bool   Constructor C_Char   Constructor C_Double   Constructor C_Float   Constructor C_Int  

class Selector s whereSource

Class for datatypes that represent records

data Fixity Source

Datatype to represent the fixity of a constructor. An infix | declaration directly corresponds to an application of Infix.

data Arity Source

Datatype to represent the arity of a tuple.

Generic type classes

class Generic a whereSource

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

Associated Types

type Rep a :: * -> *Source

Generic representation type

Methods

from :: a -> Rep a xSource

Convert from the datatype to its representation

to :: Rep a x -> aSource

Convert from the representation to the datatype

Instances

Generic Bool   Generic Char   Generic Double   Generic Float   Generic Int   Generic Ordering   Generic ()   Generic [a]   Generic (Maybe a)   Generic (Either a b)   Generic (a, b)   Generic (a, b, c)   Generic (a, b, c, d)   Generic (a, b, c, d, e)   Generic (a, b, c, d, e, f)   Generic (a, b, c, d, e, f, g)  

class Generic1 f whereSource

Representable types of kind * -> * (not yet derivable)

Associated Types

type Rep1 f :: * -> *Source

Generic representation type

Methods

from1 :: f a -> Rep1 f aSource

Convert from the datatype to its representation

to1 :: Rep1 f a -> f aSource

Convert from the representation to the datatype

Instances

Generic1 []   Generic1 Maybe   Generic1 (Either a)   Generic1 ((,) a)   Generic1 ((,,) a b)   Generic1 ((,,,) a b c)   Generic1 ((,,,,) a b c d)   Generic1 ((,,,,,) a b c d e)   Generic1 ((,,,,,,) a b c d e f)  

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4