- data T amp yv = Cons amp yv
- cons :: C amp => amp -> yv -> T amp yv
- type Dimensional v y yv = T (Dimensional v y) yv
- type Numeric amp yv = T (Numeric amp) yv
- type Flat y = T (Flat y) y
- type Abstract y = T Abstract y
- type family Amplitude sample
- type family Displacement sample
- class Build sample where
- class Inspect sample where
The constructor is only needed for
which is a kind of a hack.
|Cons amp yv|
When you define additional instances, take care that displacements and amplitudes cannot be brought out of order!