Copyright	(c) 2008 Universiteit Utrecht
License	BSD3
Maintainer	generics@haskell.org
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Generics.Regular.Constructor

Description

Summary: Representation for constructors.

Synopsis

Documentation

class Constructor c where Source

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 -> String Source

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

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

data Fixity Source

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 Source

Constructors

LeftAssociative
RightAssociative
NotAssociative

Instances

Eq Associativity
Ord Associativity
Read Associativity
Show Associativity
Lift Associativity