Exinst

Tutorial

Usage

Recovering

Many indexes

Writing instances

Products and sums

1 type index

data Some1 f1

class Dict1 c f1

2 type indexes

data Some2 f2

class Dict2 c f2

3 type indexes

data Some3 f3

class Dict3 c f3

4 type indexes

data Some4 f4

class Dict4 c f4

Miscellaneous

class Dict0 c

Products

data P1 l r a1

data P2 l r a2 a1

data P3 l r a3 a2 a1

data P4 l r a4 a3 a2 a1

Sums

data S1 l r a1

data S2 l r a2 a1

data S3 l r a3 a2 a1

data S4 l r a4 a3 a2 a1

Re-exports

data Constraint

data Dict a

data family Sing k (a :: k) :: *

class SingI k a