numhask-0.3.1: numeric classes

Safe HaskellNone
LanguageHaskell2010

NumHask.Algebra.Abstract.Action

Description

Action

Synopsis

Documentation

type family Actor h Source #

a type class to represent an action on a higher-kinded number

Instances
type Actor (Pair a) Source # 
Instance details

Defined in NumHask.Data.Pair

type Actor (Pair a) = a

class Additive (Actor h) => AdditiveAction h where Source #

Methods

(.+) :: h -> Actor h -> h infixl 6 Source #

(+.) :: Actor h -> h -> h infixl 6 Source #

Instances
Additive a => AdditiveAction (Pair a) Source # 
Instance details

Defined in NumHask.Data.Pair

Methods

(.+) :: Pair a -> Actor (Pair a) -> Pair a Source #

(+.) :: Actor (Pair a) -> Pair a -> Pair a Source #

class Subtractive (Actor h) => SubtractiveAction h where Source #

Methods

(.-) :: h -> Actor h -> h infixl 6 Source #

(-.) :: Actor h -> h -> h infixl 6 Source #

Instances
Subtractive a => SubtractiveAction (Pair a) Source # 
Instance details

Defined in NumHask.Data.Pair

Methods

(.-) :: Pair a -> Actor (Pair a) -> Pair a Source #

(-.) :: Actor (Pair a) -> Pair a -> Pair a Source #

class Multiplicative (Actor h) => MultiplicativeAction h where Source #

Methods

(.*) :: h -> Actor h -> h infixl 7 Source #

(*.) :: Actor h -> h -> h infixl 7 Source #

Instances
Multiplicative a => MultiplicativeAction (Pair a) Source # 
Instance details

Defined in NumHask.Data.Pair

Methods

(.*) :: Pair a -> Actor (Pair a) -> Pair a Source #

(*.) :: Actor (Pair a) -> Pair a -> Pair a Source #

class Divisive (Actor h) => DivisiveAction h where Source #

Methods

(./) :: h -> Actor h -> h infixl 7 Source #

(/.) :: Actor h -> h -> h infixl 7 Source #

Instances
Divisive a => DivisiveAction (Pair a) Source # 
Instance details

Defined in NumHask.Data.Pair

Methods

(./) :: Pair a -> Actor (Pair a) -> Pair a Source #

(/.) :: Actor (Pair a) -> Pair a -> Pair a Source #