poly-control-1.0.0: This package provides abstraction for polymorphic controls, like PolyMonads or PolyApplicatives.

Safe Haskell	None
Language	Haskell2010

Control.Applicative.Poly

Documentation

type family PolyBind m n :: * -> * Source

type MonoBind m = PolyBind m m ~ m Source

class PolyApplicative m n where Source

Methods

(<<*>>) :: m (a -> b) -> n a -> PolyBind m n b Source

Instances

(MonoBind m, Applicative m) => PolyApplicative m m Source