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 [] (->) Relations Fun [] (->) 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 [] (->) Function Fun [] (->) 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