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