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

Generics.MultiRec.Constructor

Description

This module contains a class for datatypes that represent data constructors.

Synopsis

class Constructor c where
- conName :: t c (f :: (* -> *) -> * -> *) (r :: * -> *) ix -> String
- conFixity :: t c (f :: (* -> *) -> * -> *) (r :: * -> *) ix -> Fixity
data Fixity
- = Prefix
- | Infix Associativity Int
data Associativity
- = LeftAssociative
- | RightAssociative
- | NotAssociative

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 Methods compare :: Fixity -> Fixity -> Ordering # (<) :: Fixity -> Fixity -> Bool # (<=) :: Fixity -> Fixity -> Bool # (>) :: Fixity -> Fixity -> Bool # (>=) :: Fixity -> Fixity -> Bool # max :: Fixity -> Fixity -> Fixity # min :: Fixity -> Fixity -> Fixity #
Read Fixity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods readsPrec :: Int -> ReadS Fixity # readList :: ReadS [Fixity] # readPrec :: ReadPrec Fixity # readListPrec :: ReadPrec [Fixity] #
Show Fixity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods showsPrec :: Int -> Fixity -> ShowS # show :: Fixity -> String # showList :: [Fixity] -> ShowS #

data Associativity Source #

Constructors

LeftAssociative
RightAssociative
NotAssociative

Instances

Eq Associativity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Ord Associativity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods compare :: Associativity -> Associativity -> Ordering # (<) :: Associativity -> Associativity -> Bool # (<=) :: Associativity -> Associativity -> Bool # (>) :: Associativity -> Associativity -> Bool # (>=) :: Associativity -> Associativity -> Bool # max :: Associativity -> Associativity -> Associativity # min :: Associativity -> Associativity -> Associativity #
Read Associativity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods readsPrec :: Int -> ReadS Associativity # readList :: ReadS [Associativity] # readPrec :: ReadPrec Associativity # readListPrec :: ReadPrec [Associativity] #
Show Associativity Source #
Instance details Defined in Generics.MultiRec.Constructor Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #