Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Orphan instances
IfB a => IfB (Plucker a) Source # | |
IfB a => IfB (Quaternion a) Source # | |
ifB :: bool ~ BooleanOf (Quaternion a) => bool -> Quaternion a -> Quaternion a -> Quaternion a # | |
IfB a => IfB (V0 a) Source # | |
IfB a => IfB (V4 a) Source # | |
IfB a => IfB (V3 a) Source # | |
IfB a => IfB (V2 a) Source # | |
IfB a => IfB (V1 a) Source # | |
EqB a => EqB (Plucker a) Source # | |
EqB a => EqB (Quaternion a) Source # | |
(==*) :: bool ~ BooleanOf (Quaternion a) => Quaternion a -> Quaternion a -> bool # (/=*) :: bool ~ BooleanOf (Quaternion a) => Quaternion a -> Quaternion a -> bool # | |
EqB a => EqB (V0 a) Source # | |
EqB a => EqB (V4 a) Source # | |
EqB a => EqB (V3 a) Source # | |
EqB a => EqB (V2 a) Source # | |
EqB a => EqB (V1 a) Source # | |
IfB (f a) => IfB (Point f a) Source # | |
EqB (f a) => EqB (Point f a) Source # | |