terrahs-0.7: A library for GIS Programs in Haskell. Contents Index

TerraHS.Algebras.Base.Category

Documentation

class Funct f where

Methods unlift :: f a -> a ($*$) :: f (a -> b) -> f a -> f b lift0 :: a -> f a lift1 :: (a -> b) -> f a -> f b lift2 :: (a -> b -> c) -> f a -> f b -> f c lift3 :: (a -> b -> c -> d) -> f a -> f b -> f c -> f d lift4 :: (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e Instances Funct [] Funct TeRaster

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

Methods tgt :: r a b -> o b src :: r a b -> o a arrow :: r a b -> m a b Instances Relations Fun [] (->) Relations Fun [] (->) Relations Fun [] (->)

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

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

Methods fold1 :: (b -> b -> b) -> f a b -> b dom :: f a b -> [a] cod :: f a b -> [b] fun :: f a b -> a -> b Instances Function Fun [] (->) Function Fun [] (->) Function Fun [] (->)

newtype Fun a b

Constructors Fun (Relation [] (->) a b) Instances Function Fun [] (->) Relations Fun [] (->)

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

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

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

Produced by Haddock version 2.3.0