Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
class Hyperbolic r where Source
Hyperbolic HyperBasis' | |
Hyperbolic HyperBasis | |
Rig r => Hyperbolic (Hyper' r) | |
Rig r => Hyperbolic (Hyper r) | |
Rig r => Hyperbolic (HyperBasis' -> r) | |
Rig r => Hyperbolic (HyperBasis -> r) | |
Hyperbolic a => Hyperbolic (Covector r a) |