Generics.MultiRec.Constructor

This module contains a class for datatypes that represent data constructors.

Documentation

class Constructor c where

Class for datatypes that represent data constructors. For non-symbolic constructors, only conName has to be defined. The weird argument is supposed to be instantiated with C from base, hence the complex kind.

Minimal complete definition

conName

Methods

conName :: t c (f :: (* -> *) -> * -> *) (r :: * -> *) ix -> String

conFixity :: t c (f :: (* -> *) -> * -> *) (r :: * -> *) ix -> Fixity

data Fixity

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

Constructors

Prefix

Infix Associativity Int

Instances

Eq Fixity

Ord Fixity

Read Fixity

Show Fixity

data Associativity

Constructors

LeftAssociative

RightAssociative

NotAssociative

Instances

Eq Associativity

Ord Associativity

Read Associativity

Show Associativity