compdata-0.7.0.2: Compositional Data Types

Copyright(c) 2011 Patrick Bahr, Tom Hvitved
LicenseBSD3
MaintainerTom Hvitved <hvitved@diku.dk>
Stabilityexperimental
Portabilitynon-portable (GHC Extensions)
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Comp.MultiParam.HDifunctor

Description

This module defines higher-order difunctors, a hybrid between higher-order functors (Johann, Ghani, POPL '08), and difunctors (Meijer, Hutton, FPCA '95). Higher-order difunctors are used to define signatures for compositional parametric generalised data types.

Synopsis

Documentation

class HDifunctor f where Source

This class represents higher-order difunctors.

Methods

hdimap :: (a :-> b) -> (c :-> d) -> f b c :-> f a d Source

Instances

class HFunctor h where Source

This class represents higher-order functors (Johann, Ghani, POPL '08) which are endofunctors on the category of endofunctors.

Methods

hfmap :: (f :-> g) -> h f :-> h g Source

A higher-order functor f also maps a natural transformation g :-> h to a natural transformation f g :-> f h

Instances

HDifunctor f => HFunctor (f a)

A higher-order difunctor gives rise to a higher-order functor when restricted to a particular contravariant argument.

HFunctor f => HFunctor (Cxt h f) 
HFunctor f => HFunctor ((:&:) f a) 
(HFunctor f, HFunctor g) => HFunctor ((:+:) f g) 

newtype I a Source

The identity Functor.

Constructors

I 

Fields

unI :: a
 

Instances

newtype K a i Source

The parametrised constant functor.

Constructors

K 

Fields

unK :: a
 

Instances

Functor (K a) 
KShow (K String) 
KShow (K ()) 
Eq a => KEq (K a) 
Ord a => KOrd (K a) 
Eq a => PEq (K a) 
Ord a => POrd (K a) 
Eq a => Eq (K a i) 
Ord a => Ord (K a i) 

data E f Source

Constructors

forall i . E 

Fields

unE :: f i
 

Instances

KEq a => Eq (E a) 
KOrd f => Ord (E f) 

data A f Source

Constructors

A 

Fields

unA :: forall i. f i
 

type (:->) f g = forall i. f i -> g i infixr 0 Source

This type represents natural transformations.

type NatM m f g = forall i. f i -> m (g i) Source