regular-0.2.4: Generic programming library for regular datatypes.

Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org

Generics.Regular.Constructor

Description

Summary: Representation for constructors.

Synopsis

Documentation

class Constructor c whereSource

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 -> StringSource

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

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

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

data Associativity Source

Constructors

LeftAssociative 
RightAssociative 
NotAssociative 

Instances