multirec-0.3: Generic programming for families of recursive datatypes Source code Contents Index

Generics.MultiRec.Constructor Portability non-portable Stability experimental Maintainer generics@haskell.org

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

Produced by Haddock version 2.4.2