morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Arrow.Straight

Documentation

newtype Straight a b Source #

Constructors

Straight 

Fields

Instances
Provariant Straight Source # 
Instance details

Defined in Data.Functor.Arrow.Straight

Methods

promap :: (a -> b) -> (c -> d) -> Straight b c -> Straight a d Source #

Covariant (Straight a) Source # 
Instance details

Defined in Data.Functor.Arrow.Straight

Methods

(<$>) :: (a0 -> b) -> Straight a a0 -> Straight a b Source #

comap :: (a0 -> b) -> Straight a a0 -> Straight a b Source #

(<$) :: a0 -> Straight a b -> Straight a a0 Source #

($>) :: Straight a a0 -> b -> Straight a b Source #

void :: Straight a a0 -> Straight a () Source #

Applicative (Straight a) Source # 
Instance details

Defined in Data.Functor.Arrow.Straight

Methods

(<*>) :: Straight a (a0 -> b) -> Straight a a0 -> Straight a b Source #

apply :: Straight a (a0 -> b) -> Straight a a0 -> Straight a b Source #

(*>) :: Straight a a0 -> Straight a b -> Straight a b Source #

(<*) :: Straight a a0 -> Straight a b -> Straight a a0 Source #

forever :: Straight a a0 -> Straight a b Source #

Pointable (Straight a) Source # 
Instance details

Defined in Data.Functor.Arrow.Straight

Methods

point :: a0 -> Straight a a0 Source #