ftypes-0.1.0.0: Initial project template from stack

Safe HaskellSafe
LanguageHaskell2010

FTypes.Classes.FFunctor

Documentation

class FFunctor r where

Minimal complete definition

ffmap

Methods

ffmap :: (f ==> g) -> r f -> r g

(<<$) :: (forall a. g a) -> r f -> r g infixl 4

Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

Instances

FFunctor * r => FFunctor * (Precompose r f) 
(FFunctor * rec, Functor f) => FFunctor * (Postcompose rec f) 
FFunctor k (FApply k x) 
(FFunctor k r, FFunctor k s) => FFunctor k (FSum (k -> *) r s) 
(FFunctor k r, FFunctor k s) => FFunctor k (FProd (k -> *) r s) 

(<<$>>) :: FFunctor r => (f ==> g) -> r f -> r g infixl 4