Algebras.Functor.Category

Documentation

class Funct f where

Source

Methods

unlift :: f a -> a

Source

($*$) :: f (a -> b) -> f a -> f b

Source

lift0 :: a -> f a

Source

lift1 :: (a -> b) -> f a -> f b

Source

map :: (a -> b) -> f a -> f b

Source

lift2 :: (a -> b -> c) -> f a -> f b -> f c

Source

lift3 :: (a -> b -> c -> d) -> f a -> f b -> f c -> f d

Source

lift4 :: (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e

Source

Instances

Funct []

Funct TeRaster

Funct (Fun TeGeometry)

class Relations r o m | r -> o m where

Source

Methods

tgt :: r a b -> o b

Source

src :: r a b -> o a

Source

arrow :: r a b -> m a b

Source

Instances

Relations Fun [] (->)

type Relation o m a b = (m a b, o a, o b)

Source

class Relations f o m => Function f o m | f -> o m where

Source

Methods

dom :: f a b -> [a]

Source

cod :: f a b -> [b]

Source

fun :: f a b -> a -> b

Source

Instances

Function Fun [] (->)

newtype Fun a b

Source

Constructors

Fun (Relation [] (->) a b)

Instances

ModelPersistence Layer

ModelConvert Layer

Function Fun [] (->)

Relations Fun [] (->)

Funct (Fun TeGeometry)

retrieve :: Eq a => ([a], [b]) -> a -> b

Source

fold1 :: Function f o m => (b -> b -> b) -> f a b -> b

Source

eval :: Eq a => Fun a b -> a -> Maybe b

Source

eval' :: Eq a => Maybe (Fun a b) -> a -> Maybe b

Source

Produced by Haddock version 2.4.2