Generics.Regular.Constructor

Summary: Representation for 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.

Methods

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

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

conIsRecord :: t c (f :: * -> *) r -> Bool

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

Lift Fixity

data Associativity

Constructors

LeftAssociative

RightAssociative

NotAssociative

Instances

Eq Associativity

Ord Associativity

Read Associativity

Show Associativity

Lift Associativity