pointless-haskell-0.0.4: Pointless Haskell library

Portabilitynon-portable
Stabilityexperimental
Maintainerhpacheco@di.uminho.pt

Generics.Pointless.Fctrable

Description

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

This module defines a class of representable functors.

Synopsis

Documentation

data Fctr f whereSource

Functor GADT for polytypic recursive functions. At the moment it does not rely on a Typeable instance for constants.

Constructors

I :: Fctr Id 
K :: Fctr (Const c) 
:*!: :: (Functor f, Functor g) => Fctr f -> Fctr g -> Fctr (f :*: g) 
:+!: :: (Functor f, Functor g) => Fctr f -> Fctr g -> Fctr (f :+: g) 
:@!: :: (Functor f, Functor g) => Fctr f -> Fctr g -> Fctr (f :@: g) 

class Functor f => Fctrable f whereSource

Class of representable functors.

Methods

fctr :: Fctr fSource

Instances

fixF :: Fctr f -> Fix fSource

The fixpoint of a representable functor.

fctrF :: Fctrable f => Fix f -> Fctr fSource

The representation of the fixpoint of a representable functor.