Safe Haskell | Safe-Infered |
---|
Documentation
type AffineTransformation = Affine -> AffineSource
data CoordinateSystem Source
Affine | |
|
class CoordinateSystemClass csc whereSource
getCoordinateSystem :: csc -> CoordinateSystemSource
storeCoordinateSystem :: CoordinateSystem -> csc -> cscSource
migrateToFrom :: AffineTransformable a => CoordinateSystem -> CoordinateSystem -> a -> aSource
transformation :: AffineTransformable a => AffineTransformation -> a -> aSource
inverseTransformation :: AffineTransformable a => AffineTransformation -> a -> aSource
importCSN :: AffineTransformable a => CoordinateSystem -> CSN a -> aSource
exportCSN :: AffineTransformable a => CoordinateSystem -> a -> CSN aSource
remoteCSN :: (AffineTransformable a, AffineTransformable b) => CoordinateSystem -> (a -> b) -> CSN a -> CSN bSource
importM :: (Monad m, MonadState s m, CoordinateSystemClass s, AffineTransformable a) => CSN a -> m aSource
exportM :: (Monad m, MonadState s m, CoordinateSystemClass s, AffineTransformable a) => a -> m (CSN a)Source
remoteM :: (Monad m, MonadState s m, CoordinateSystemClass s, AffineTransformable a, AffineTransformable b) => CoordinateSystem -> (a -> b) -> a -> m bSource
importA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, AffineTransformable a) => arr (CSN a) aSource
importFromA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, AffineTransformable a) => CoordinateSystem -> arr a aSource
exportA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, AffineTransformable a) => arr a (CSN a)Source
exportToA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, AffineTransformable a) => CoordinateSystem -> arr a aSource
exportCoordinateSystem :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s) => arr AffineTransformation CoordinateSystemSource
remoteA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, AffineTransformable a, AffineTransformable b) => arr (CoordinateSystem, a -> b, a) bSource
transformM :: (Monad m, MonadState s m, CoordinateSystemClass s, NestedCoordinateSystemTransformer cst) => cst -> m a -> m aSource
transformA :: (Arrow arr, ArrowState s arr, CoordinateSystemClass s, NestedCoordinateSystemTransformer cst) => arr a b -> arr (cst, a) bSource
measure :: (AffineTransformable p, Xyz p) => p -> p -> DistanceSource