Data.Semigroupoid.Static

Documentation

newtype Static f a b

Constructors

Static

Fields

• runStatic :: f (a -> b)

Instances

Applicative f => Category (Static f :: Type -> Type -> Type)

Defined in Data.Semigroupoid.Static

Methods

id :: forall (a :: k). Static f a a

(.) :: forall (b :: k) (c :: k) (a :: k). Static f b c -> Static f a b -> Static f a c

Apply f => Semigroupoid (Static f :: Type -> Type -> Type)

Defined in Data.Semigroupoid.Static

Methods

o :: forall (j :: k) (k :: k) (i :: k). Static f j k -> Static f i j -> Static f i k

Applicative f => Arrow (Static f)

Defined in Data.Semigroupoid.Static

Methods

arr :: (b -> c) -> Static f b c

first :: Static f b c -> Static f (b, d) (c, d)

second :: Static f b c -> Static f (d, b) (d, c)

(***) :: Static f b c -> Static f b' c' -> Static f (b, b') (c, c')

(&&&) :: Static f b c -> Static f b c' -> Static f b (c, c')

Applicative f => ArrowChoice (Static f)

Defined in Data.Semigroupoid.Static

Methods

left :: Static f b c -> Static f (Either b d) (Either c d)

right :: Static f b c -> Static f (Either d b) (Either d c)

(+++) :: Static f b c -> Static f b' c' -> Static f (Either b b') (Either c c')

(|||) :: Static f b d -> Static f c d -> Static f (Either b c) d

Alternative f => ArrowPlus (Static f)

Defined in Data.Semigroupoid.Static

Methods

(<+>) :: Static f b c -> Static f b c -> Static f b c

Alternative f => ArrowZero (Static f)

Defined in Data.Semigroupoid.Static

Methods

zeroArrow :: Static f b c

Applicative f => Applicative (Static f a)

Defined in Data.Semigroupoid.Static

Methods

pure :: a0 -> Static f a a0

(<*>) :: Static f a (a0 -> b) -> Static f a a0 -> Static f a b

liftA2 :: (a0 -> b -> c) -> Static f a a0 -> Static f a b -> Static f a c

(*>) :: Static f a a0 -> Static f a b -> Static f a b

(<*) :: Static f a a0 -> Static f a b -> Static f a a0

Functor f => Functor (Static f a)

Defined in Data.Semigroupoid.Static

Methods

fmap :: (a0 -> b) -> Static f a a0 -> Static f a b

(<$) :: a0 -> Static f a b -> Static f a a0

(Comonad f, Monoid a) => Comonad (Static f a)

Defined in Data.Semigroupoid.Static

Methods

extract :: Static f a a0 -> a0

duplicate :: Static f a a0 -> Static f a (Static f a a0)

extend :: (Static f a a0 -> b) -> Static f a a0 -> Static f a b

Alt f => Alt (Static f a)

Defined in Data.Semigroupoid.Static

Methods

(<!>) :: Static f a a0 -> Static f a a0 -> Static f a a0

some :: Applicative (Static f a) => Static f a a0 -> Static f a [a0]

many :: Applicative (Static f a) => Static f a a0 -> Static f a [a0]

Apply f => Apply (Static f a)

Defined in Data.Semigroupoid.Static

Methods

(<.>) :: Static f a (a0 -> b) -> Static f a a0 -> Static f a b

(.>) :: Static f a a0 -> Static f a b -> Static f a b

(<.) :: Static f a a0 -> Static f a b -> Static f a a0

liftF2 :: (a0 -> b -> c) -> Static f a a0 -> Static f a b -> Static f a c

(Extend f, Semigroup a) => Extend (Static f a)

Defined in Data.Semigroupoid.Static

Methods

duplicated :: Static f a a0 -> Static f a (Static f a a0)

extended :: (Static f a a0 -> b) -> Static f a a0 -> Static f a b

Plus f => Plus (Static f a)

Defined in Data.Semigroupoid.Static

Methods

zero :: Static f a a0