Copyright | (c) Aaron Friel |
---|---|
License | BSD-3 |
Maintainer | Aaron Friel <mayreply@aaronfriel.com> |
Stability | unstable |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
- class Graphted f where
- type Unit f :: p
- type Inv f (i :: p) (j :: p) :: Constraint
- type Combine f (i :: p) (j :: p) :: p
Documentation
Base class that all Graph-indexed types may implement.
The unit of our kind p.
type Inv f (i :: p) (j :: p) :: Constraint Source #
An invariant on combining indexes.
type Combine f (i :: p) (j :: p) :: p Source #
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.