multirec-0.7.9: 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 
Instances
Eq Fixity Source # 
Instance details

Defined in Generics.MultiRec.Constructor

Methods

(==) :: Fixity -> Fixity -> Bool #

(/=) :: Fixity -> Fixity -> Bool #

Ord Fixity Source # 
Instance details

Defined in Generics.MultiRec.Constructor

Read Fixity Source # 
Instance details

Defined in Generics.MultiRec.Constructor

Show Fixity Source # 
Instance details

Defined in Generics.MultiRec.Constructor