Control.Graphted.Class

Documentation

class Graphted f

Base class that all Graph-indexed types may implement.

Associated Types

type Unit f :: p

The unit of our kind p.

type Inv f (i :: p) (j :: p) :: Constraint

An invariant on combining indexes.

type Combine f (i :: p) (j :: p) :: p

An elementary composition of indexes.

N.B.: This may be nonsensical if and only if type classes override the default definitions of their own type families.

This exists for convenience.

Instances

Graphted * (GWrapped m)

Associated Types

type Unit (GWrapped m) (f :: GWrapped m -> * -> *) :: p

type Inv (GWrapped m) (f :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: Constraint

type Combine (GWrapped m) (f :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Graphted (*, *) (WrappedIx m)

Associated Types

type Unit (WrappedIx m) (f :: WrappedIx m -> * -> *) :: p

type Inv (WrappedIx m) (f :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

type Combine (WrappedIx m) (f :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: p

data Constraint :: *

The kind of constraints, like Show a