Safe Haskell | Safe-Infered |
---|
Documentation
class BoundingBox a where
type ELBB a :: *
convertBounds :: (BoundingBox a, FromBounds b, ELBB a ~ ELFB b) => a -> b
Safe Haskell | Safe-Infered |
---|
class BoundingBox a where
type ELBB a :: *
convertBounds :: (BoundingBox a, FromBounds b, ELBB a ~ ELFB b) => a -> b