Type.Yoko.TSTSS

Classes for * -> * -> * types.

Documentation

class FunctorTSTSS ff where

Methods

fmapTSTSS :: (a -> c) -> (b -> d) -> ff a b -> ff c d

Instances

FunctorTSTSS Either

FunctorTSTSS (,)

class TraversableTSTSS ff where

Methods

traverseTSTSS :: Applicative i => (a -> i c) -> (b -> i d) -> ff a b -> i (ff c d)

Instances

TraversableTSTSS Either

TraversableTSTSS (,)