Data.Vinyl.Classes

Documentation

class Apply arr f where

Methods

(<<*>>) :: f (arr a b) -> f a -> f b

Instances

Apply (* -> *) (~> *) (Rec rs)

class Run t where

Methods

run :: Applicative f => t f -> f (t Identity)

Instances

Run (Rec rs)

newtype (f (~>) g) x

Constructors

NT

Fields

runNT :: f x -> g x

Instances

Apply (* -> *) (~> *) (Rec rs)