multirec-0.7.7: Generic programming for families of recursive datatypes

Copyright(c) 2008--2010 Universiteit Utrecht
LicenseBSD3
Maintainergenerics@haskell.org
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Generics.MultiRec.Constructor

Description

This module contains a class for datatypes that represent data 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 :: * -> *) ix -> String Source

conFixity :: t c (f :: (* -> *) -> * -> *) (r :: * -> *) ix -> Fixity 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