Idris2Doc : Data.NumIdr.Transform

Data.NumIdr.Transform

(source)
Reexports
import public Data.NumIdr.Transform.Point
import public Data.NumIdr.Transform.Transform
import public Data.NumIdr.Transform.Affine
import public Data.NumIdr.Transform.Isometry
import public Data.NumIdr.Transform.Linear
import public Data.NumIdr.Transform.Orthonormal
import public Data.NumIdr.Transform.Rigid
import public Data.NumIdr.Transform.Rotation
import public Data.NumIdr.Transform.Translation
import public Data.NumIdr.Transform.Trivial