bearriver-0.13.1: A replacement of Yampa based on Monadic Stream Functions.

Copyright(c) Antony Courtney and Henrik Nilsson Yale University 2003
LicenseBSD-style (see the LICENSE file in the distribution)
Maintainernilsson@cs.yale.edu
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellSafe
LanguageHaskell2010

FRP.Yampa.VectorSpace

Description

Vector space type relation and basic instances.

Documentation

class (Eq a, Floating a) => VectorSpace v a | v -> a where Source #

Minimal complete definition

zeroVector, (*^), (^+^), dot

Methods

zeroVector :: v Source #

(*^) :: a -> v -> v infixr 9 Source #

(^/) :: v -> a -> v infixl 9 Source #

negateVector :: v -> v Source #

(^+^) :: v -> v -> v infixl 6 Source #

(^-^) :: v -> v -> v infixl 6 Source #

dot :: v -> v -> a infix 7 Source #

norm :: v -> a Source #

normalize :: v -> v Source #

Instances
VectorSpace Double Double Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

VectorSpace Float Float Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

RealFloat a => VectorSpace (Vector3 a) a Source # 
Instance details

Defined in FRP.Yampa.Vector3

RealFloat a => VectorSpace (Vector2 a) a Source # 
Instance details

Defined in FRP.Yampa.Vector2

(Eq a, Floating a) => VectorSpace (a, a) a Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

Methods

zeroVector :: (a, a) Source #

(*^) :: a -> (a, a) -> (a, a) Source #

(^/) :: (a, a) -> a -> (a, a) Source #

negateVector :: (a, a) -> (a, a) Source #

(^+^) :: (a, a) -> (a, a) -> (a, a) Source #

(^-^) :: (a, a) -> (a, a) -> (a, a) Source #

dot :: (a, a) -> (a, a) -> a Source #

norm :: (a, a) -> a Source #

normalize :: (a, a) -> (a, a) Source #

(Eq a, Floating a) => VectorSpace (a, a, a) a Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

Methods

zeroVector :: (a, a, a) Source #

(*^) :: a -> (a, a, a) -> (a, a, a) Source #

(^/) :: (a, a, a) -> a -> (a, a, a) Source #

negateVector :: (a, a, a) -> (a, a, a) Source #

(^+^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source #

(^-^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source #

dot :: (a, a, a) -> (a, a, a) -> a Source #

norm :: (a, a, a) -> a Source #

normalize :: (a, a, a) -> (a, a, a) Source #

(Eq a, Floating a) => VectorSpace (a, a, a, a) a Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

Methods

zeroVector :: (a, a, a, a) Source #

(*^) :: a -> (a, a, a, a) -> (a, a, a, a) Source #

(^/) :: (a, a, a, a) -> a -> (a, a, a, a) Source #

negateVector :: (a, a, a, a) -> (a, a, a, a) Source #

(^+^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source #

(^-^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source #

dot :: (a, a, a, a) -> (a, a, a, a) -> a Source #

norm :: (a, a, a, a) -> a Source #

normalize :: (a, a, a, a) -> (a, a, a, a) Source #

(Eq a, Floating a) => VectorSpace (a, a, a, a, a) a Source # 
Instance details

Defined in FRP.Yampa.VectorSpace

Methods

zeroVector :: (a, a, a, a, a) Source #

(*^) :: a -> (a, a, a, a, a) -> (a, a, a, a, a) Source #

(^/) :: (a, a, a, a, a) -> a -> (a, a, a, a, a) Source #

negateVector :: (a, a, a, a, a) -> (a, a, a, a, a) Source #

(^+^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source #

(^-^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source #

dot :: (a, a, a, a, a) -> (a, a, a, a, a) -> a Source #

norm :: (a, a, a, a, a) -> a Source #

normalize :: (a, a, a, a, a) -> (a, a, a, a, a) Source #