Shady.Misc

Misc useful definitions

Documentation

class FMod a where

Real-valued modulo. You can use fmodRF for RealFrac types and fmodViaFrac for Frac types.

Methods

fmod :: a -> a -> a

Instances

FMod Float

FMod s => FMod (Complex s)

(IsNat n, IsScalar a, FMod a) => FMod (E (Vec n a))

(IsNat n, IsScalar a, FMod a) => FMod (Vec n a)

class Frac a where

Take fractional component(s). Always non-negative. You can use fracRF for RealFrac types and fracViaFmod for Fmod types.

Methods

frac :: a -> a

Instances

Frac Float

Frac s => Frac (Complex s)

(IsNat n, IsScalar a, FMod a, RealFrac a) => Frac (E (Vec n a))

Frac s => Frac (:> u s)

fmodRF :: RealFrac a => a -> a -> a

Fractional modulo. Useful for defining fmod on RealFrac types.

fracRF :: RealFrac a => a -> a

Fractional component. Useful for defining frac on RealFrac types.

fmodViaFrac :: (Fractional a, Frac a) => a -> a -> a

Handy defining fmod on a Frac type.

fracViaFmod :: (Num a, FMod a) => a -> a

Handy defining frac on a FMod type.

clamp :: Ord a => (a, a) -> a -> a

Clamp to a given range

clampB :: (IfB bool a, OrdB bool a) => (a, a) -> a -> a

Variation on clamp, using OrdB instead of Ord

smoothStep :: (Ord a, Num a) => (a, a) -> a -> a

Smooth, clamped transition

type Unop a = a -> a

Unary transformation (endomorphism)

type Binop a = a -> a -> a

Binary transformation

padTo :: Int -> String -> String

Pad a string to the given length, adding spaces on the right as needed.

flip1 :: (a -> b) -> a -> b

Move first argument to first place (for style uniformity)

flip2 :: (a -> b -> c) -> b -> a -> c

Move second argument to first place (flip synonym for style uniformity)

flip3 :: (a -> b -> c -> d) -> c -> a -> b -> d

Move third argument to first place

flip4 :: (a -> b -> c -> d -> e) -> d -> a -> b -> c -> e

Move fourth argument to first place

type Sink a = a -> Action

Sink of information

type Action = IO ()

Synonym for IO (). Obviates some parentheses.

(>+>) :: Sink a -> Sink b -> Sink (a, b)

Combine sinks

forget :: Functor f => f a -> f ()

Discard a functor value.

type R = Float

Find another home

type EyePos = (R, R, R)