pointless-haskell-0.0.3: Pointless Haskell library

Portabilitynon-portable
Stabilityexperimental
Maintainerhpacheco@di.uminho.pt

Generics.Pointless.Examples.Observe

Description

Pointless Haskell: point-free programming with recursion patterns as hylomorphisms

This module provides the same examples, but with support for GHood observations.

Synopsis

Documentation

lengthHyloO :: Observable a => [a] -> IntSource

Definition of the observable length function as an hylomorphism.

lengthAnaO :: Observable a => [a] -> IntSource

Definition of the observable length function as an anamorphism.

lengthCataO :: (Typeable a, Observable a) => [a] -> IntSource

Definition of the observable length function as a catamorphism.

factHyloO :: Int -> IntSource

Definition of the observable factorial function as an hylomorphism.

factParaO :: Int -> IntSource

Definition of the observable factorial function as a paramorphism.

factZygoO :: Int -> IntSource

Definition of the observable factorial function as a zygomorphism.

fibHyloO :: Int -> IntSource

Definition of the observable fibonacci function as an hylomorphism.

fibHistoO :: Int -> IntSource

Definition of the observable fibonacci function as an histomorphism.

fibDynaO :: Int -> IntSource

Definition of the observable fibonacci function as a dynamorphism.

qsortHyloO :: (Typeable a, Observable a, Ord a) => [a] -> [a]Source

Definition of the observable quicksort function as an hylomorphism.

tailParaO :: (Typeable a, Observable a) => [a] -> [a]Source

Definition of the observable tail function as a paramorphism.

addAccumO :: (Int, Int) -> IntSource

Definition of the observable add function as an accumulation.