Arithmetic

Synopsis

• inBox :: (Ord a, Num a) => (a, a) -> (a, a) -> Bool
• rotatePoint :: Num a => (a, a) -> (a, a) -> (a, a)
• rotateStretchMovePoint :: Fractional a => (a, a) -> (a, a) -> (a, a) -> (a, a)
• rotateStretchMoveBackPoint :: Fractional a => (a, a) -> (a, a) -> (a, a) -> (a, a)
• boundingBoxOfRotated :: (Num a, Ord a) => (a, a) -> (a, a) -> ((a, a), (a, a))
• boundingBoxOfRotatedGen :: Num a => (a -> a -> a, a -> a -> a) -> (a, a) -> (a, a) -> ((a, a), (a, a))
• canvasShape :: (RealFrac a, Integral i, PrintfArg a, PrintfArg i) => (image -> (i, i)) -> [Point2 a] -> [((a, a), image)] -> ((i, i), [((a, a), (a, a), image)], [String])
• linearIp :: Num a => (a, a) -> a -> a
• cubicIp :: Fractional a => (a, a, a, a) -> a -> a
• data Vec a v = Vec {
  • vecZero :: v
  • vecAdd :: v -> v -> v
  • vecScale :: a -> v -> v
  }
• vecScalar :: Num a => Vec a a
• linearIpVec :: Num a => Vec a v -> (v, v) -> a -> v
• cubicIpVec :: Fractional a => Vec a v -> (v, v, v, v) -> a -> v
• smooth3 :: Fractional a => (a, a, a) -> a
• type Point2 a = (a, a)
• type Line2 a = (Point2 a, Point2 a)
• intersect :: (Ord a, Fractional a) => Line2 a -> Line2 a -> Maybe (Point2 a)
• intersections :: (Fractional a, Ord a) => [Line2 a] -> [Line2 a] -> [Point2 a]
• type Geometry i a = ((a, a), (a, a), (i, i))
• geometryFeatures :: (Fractional a, Integral i) => Geometry i a -> (Geometry i a, [Point2 a], [Line2 a])
• geometryRelations :: (RealFrac a, Integral i) => [(Geometry i a, [Point2 a], [Line2 a])] -> [(Geometry i a, [Geometry i a], [Point2 a])]
• projectPerp :: Fractional a => Point2 a -> (Point2 a, Point2 a) -> (a, Point2 a)
• distanceSqr :: Num a => Point2 a -> Point2 a -> a
• distance :: Floating a => Point2 a -> Point2 a -> a
• linearScale :: Fractional a => Int -> (a, a) -> [a]
• minimumOverlapAbsFromPortion :: Integral i => Float -> (i, i) -> i
• ceilingPow2 :: (Bits i, Integral i) => i -> i
• ceilingSmooth7 :: (Bits i, Integral i) => i -> i
• ceilingSmooth7_100 :: (Bits i, Integral i) => i -> i
• ceilingSmooth7_10 :: (Bits i, Integral i) => i -> i
• divideByMaximumPower :: Integral i => i -> i -> i
• (^!) :: Num a => a -> Int -> a
• isSmooth7NumberReduce :: Integral i => i -> Bool
• isSmooth7NumberDiv :: Integral i => i -> Bool
• propIsSmooth7Number :: Bool
• correlationSize :: (Bits i, Integral i) => Float -> [(i, i)] -> (i, i)
• divUp :: Integral a => a -> a -> a
• pairFromComplex :: RealFloat a => Complex a -> (a, a)
• mapComplex :: (a -> b) -> Complex a -> Complex b
• mulConj :: RealFloat a => Complex a -> Complex a -> Complex a

Documentation