Documentation
class Field1 s t a b | s -> a, t -> b, s b -> t, t a -> s where Source
Minimal complete definition
Nothing
Instances
Field1 (a, v) (b, v) a b | |
Field1 (a, v, w) (b, v, w) a b | |
Field1 (a, v, w, x) (b, v, w, x) a b | |
class Field2 s t a b | s -> a, t -> b, s b -> t, t a -> s where Source
Minimal complete definition
Nothing
Instances
Field2 (v, a) (v, b) a b | |
Field2 (v, a, w) (v, b, w) a b | |
Field2 (v, a, w, x) (v, b, w, x) a b | |
class Field3 s t a b | s -> a, t -> b, s b -> t, t a -> s where Source
Minimal complete definition
Nothing
Instances
Field3 (v, w, a) (v, w, b) a b | |
Field3 (v, w, a, x) (v, w, b, x) a b | |
class Field4 s t a b | s -> a, t -> b, s b -> t, t a -> s where Source
Minimal complete definition
Nothing
Instances
Field4 (v, w, x, a) (v, w, x, b) a b | |