Copyright	Copyright (C) 2005 Uwe Schmidt
License	MIT
Maintainer	Uwe Schmidt (uwe\@fh-wedel.de)
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Arrow.ListArrows

Description

Module for importing all list arrows

Documentation

class Category a => Arrow (a :: Type -> Type -> Type) where #

Minimal complete definition

arr, (first | (***))

Methods

arr :: (b -> c) -> a b c #

first :: a b c -> a (b, d) (c, d) #

second :: a b c -> a (d, b) (d, c) #

(***) :: a b c -> a b' c' -> a (b, b') (c, c') #

(&&&) :: a b c -> a b c' -> a b (c, c') #

Instances

Instances details

Arrow IOLA Source #
Instance details Defined in Control.Arrow.IOListArrow Methods arr :: (b -> c) -> IOLA b c # first :: IOLA b c -> IOLA (b, d) (c, d) # second :: IOLA b c -> IOLA (d, b) (d, c) # (***) :: IOLA b c -> IOLA b' c' -> IOLA (b, b') (c, c') # (&&&) :: IOLA b c -> IOLA b c' -> IOLA b (c, c') #
Arrow LA Source #
Instance details Defined in Control.Arrow.ListArrow Methods arr :: (b -> c) -> LA b c # first :: LA b c -> LA (b, d) (c, d) # second :: LA b c -> LA (d, b) (d, c) # (***) :: LA b c -> LA b' c' -> LA (b, b') (c, c') # (&&&) :: LA b c -> LA b c' -> LA b (c, c') #
Monad m => Arrow (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods arr :: (b -> c) -> Kleisli m b c # first :: Kleisli m b c -> Kleisli m (b, d) (c, d) # second :: Kleisli m b c -> Kleisli m (d, b) (d, c) # (***) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (b, b') (c, c') # (&&&) :: Kleisli m b c -> Kleisli m b c' -> Kleisli m b (c, c') #
Arrow (IOSLA s) Source #
Instance details Defined in Control.Arrow.IOStateListArrow Methods arr :: (b -> c) -> IOSLA s b c # first :: IOSLA s b c -> IOSLA s (b, d) (c, d) # second :: IOSLA s b c -> IOSLA s (d, b) (d, c) # (***) :: IOSLA s b c -> IOSLA s b' c' -> IOSLA s (b, b') (c, c') # (&&&) :: IOSLA s b c -> IOSLA s b c' -> IOSLA s b (c, c') #
Arrow (SLA s) Source #
Instance details Defined in Control.Arrow.StateListArrow Methods arr :: (b -> c) -> SLA s b c # first :: SLA s b c -> SLA s (b, d) (c, d) # second :: SLA s b c -> SLA s (d, b) (d, c) # (***) :: SLA s b c -> SLA s b' c' -> SLA s (b, b') (c, c') # (&&&) :: SLA s b c -> SLA s b c' -> SLA s b (c, c') #
Arrow (->)
Instance details Defined in GHC.Internal.Control.Arrow Methods arr :: (b -> c) -> b -> c # first :: (b -> c) -> (b, d) -> (c, d) # second :: (b -> c) -> (d, b) -> (d, c) # (***) :: (b -> c) -> (b' -> c') -> (b, b') -> (c, c') # (&&&) :: (b -> c) -> (b -> c') -> b -> (c, c') #

(>>>) :: forall {k} cat (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c #

(<<^) :: Arrow a => a c d -> (b -> c) -> a b d #

(>>^) :: Arrow a => a b c -> (c -> d) -> a b d #

(^<<) :: Arrow a => (c -> d) -> a b c -> a b d #

(^>>) :: Arrow a => (b -> c) -> a c d -> a b d #

leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d) #

returnA :: Arrow a => a b b #

(<<<) :: forall {k} cat (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c #

class Arrow a => ArrowApply (a :: Type -> Type -> Type) where #

Methods

app :: a (a b c, b) c #

Instances

Instances details

ArrowApply IOLA Source #
Instance details Defined in Control.Arrow.IOListArrow Methods app :: IOLA (IOLA b c, b) c #
ArrowApply LA Source #
Instance details Defined in Control.Arrow.ListArrow Methods app :: LA (LA b c, b) c #
Monad m => ArrowApply (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods app :: Kleisli m (Kleisli m b c, b) c #
ArrowApply (IOSLA s) Source #
Instance details Defined in Control.Arrow.IOStateListArrow Methods app :: IOSLA s (IOSLA s b c, b) c #
ArrowApply (SLA s) Source #
Instance details Defined in Control.Arrow.StateListArrow Methods app :: SLA s (SLA s b c, b) c #
ArrowApply (->)
Instance details Defined in GHC.Internal.Control.Arrow Methods app :: (b -> c, b) -> c #

class Arrow a => ArrowChoice (a :: Type -> Type -> Type) where #

Minimal complete definition

(left | (+++))

Methods

left :: a b c -> a (Either b d) (Either c d) #

right :: a b c -> a (Either d b) (Either d c) #

(+++) :: a b c -> a b' c' -> a (Either b b') (Either c c') #

(|||) :: a b d -> a c d -> a (Either b c) d #

Instances

Instances details

ArrowChoice IOLA Source #
Instance details Defined in Control.Arrow.IOListArrow Methods left :: IOLA b c -> IOLA (Either b d) (Either c d) # right :: IOLA b c -> IOLA (Either d b) (Either d c) # (+++) :: IOLA b c -> IOLA b' c' -> IOLA (Either b b') (Either c c') # (\|\|\|) :: IOLA b d -> IOLA c d -> IOLA (Either b c) d #
ArrowChoice LA Source #
Instance details Defined in Control.Arrow.ListArrow Methods left :: LA b c -> LA (Either b d) (Either c d) # right :: LA b c -> LA (Either d b) (Either d c) # (+++) :: LA b c -> LA b' c' -> LA (Either b b') (Either c c') # (\|\|\|) :: LA b d -> LA c d -> LA (Either b c) d #
Monad m => ArrowChoice (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods left :: Kleisli m b c -> Kleisli m (Either b d) (Either c d) # right :: Kleisli m b c -> Kleisli m (Either d b) (Either d c) # (+++) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (Either b b') (Either c c') # (\|\|\|) :: Kleisli m b d -> Kleisli m c d -> Kleisli m (Either b c) d #
ArrowChoice (IOSLA s) Source #
Instance details Defined in Control.Arrow.IOStateListArrow Methods left :: IOSLA s b c -> IOSLA s (Either b d) (Either c d) # right :: IOSLA s b c -> IOSLA s (Either d b) (Either d c) # (+++) :: IOSLA s b c -> IOSLA s b' c' -> IOSLA s (Either b b') (Either c c') # (\|\|\|) :: IOSLA s b d -> IOSLA s c d -> IOSLA s (Either b c) d #
ArrowChoice (SLA s) Source #
Instance details Defined in Control.Arrow.StateListArrow Methods left :: SLA s b c -> SLA s (Either b d) (Either c d) # right :: SLA s b c -> SLA s (Either d b) (Either d c) # (+++) :: SLA s b c -> SLA s b' c' -> SLA s (Either b b') (Either c c') # (\|\|\|) :: SLA s b d -> SLA s c d -> SLA s (Either b c) d #
ArrowChoice (->)
Instance details Defined in GHC.Internal.Control.Arrow Methods left :: (b -> c) -> Either b d -> Either c d # right :: (b -> c) -> Either d b -> Either d c # (+++) :: (b -> c) -> (b' -> c') -> Either b b' -> Either c c' # (\|\|\|) :: (b -> d) -> (c -> d) -> Either b c -> d #

class Arrow a => ArrowLoop (a :: Type -> Type -> Type) where #

Methods

loop :: a (b, d) (c, d) -> a b c #

Instances

Instances details

MonadFix m => ArrowLoop (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods loop :: Kleisli m (b, d) (c, d) -> Kleisli m b c #
ArrowLoop (->)
Instance details Defined in GHC.Internal.Control.Arrow Methods loop :: ((b, d) -> (c, d)) -> b -> c #

newtype ArrowMonad (a :: Type -> Type -> Type) b #

Constructors

ArrowMonad (a () b)

Instances

Instances details

ArrowPlus a => Alternative (ArrowMonad a)
Instance details Defined in GHC.Internal.Control.Arrow Methods empty :: ArrowMonad a a0 (<\|>) :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0 some :: ArrowMonad a a0 -> ArrowMonad a [a0] many :: ArrowMonad a a0 -> ArrowMonad a [a0]
Arrow a => Applicative (ArrowMonad a)
Instance details Defined in GHC.Internal.Control.Arrow Methods pure :: a0 -> ArrowMonad a a0 (<>) :: ArrowMonad a (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b liftA2 :: (a0 -> b -> c) -> ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a c (>) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a b (<*) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a a0
Arrow a => Functor (ArrowMonad a)
Instance details Defined in GHC.Internal.Control.Arrow Methods fmap :: (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b (<$) :: a0 -> ArrowMonad a b -> ArrowMonad a a0
ArrowApply a => Monad (ArrowMonad a)
Instance details Defined in GHC.Internal.Control.Arrow Methods (>>=) :: ArrowMonad a a0 -> (a0 -> ArrowMonad a b) -> ArrowMonad a b (>>) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a b return :: a0 -> ArrowMonad a a0
(ArrowApply a, ArrowPlus a) => MonadPlus (ArrowMonad a)
Instance details Defined in GHC.Internal.Control.Arrow Methods mzero :: ArrowMonad a a0 mplus :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0

class ArrowZero a => ArrowPlus (a :: Type -> Type -> Type) where #

Methods

(<+>) :: a b c -> a b c -> a b c #

Instances

Instances details

ArrowPlus IOLA Source #
Instance details Defined in Control.Arrow.IOListArrow Methods (<+>) :: IOLA b c -> IOLA b c -> IOLA b c #
ArrowPlus LA Source #
Instance details Defined in Control.Arrow.ListArrow Methods (<+>) :: LA b c -> LA b c -> LA b c #
MonadPlus m => ArrowPlus (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods (<+>) :: Kleisli m b c -> Kleisli m b c -> Kleisli m b c #
ArrowPlus (IOSLA s) Source #
Instance details Defined in Control.Arrow.IOStateListArrow Methods (<+>) :: IOSLA s b c -> IOSLA s b c -> IOSLA s b c #
ArrowPlus (SLA s) Source #
Instance details Defined in Control.Arrow.StateListArrow Methods (<+>) :: SLA s b c -> SLA s b c -> SLA s b c #

class Arrow a => ArrowZero (a :: Type -> Type -> Type) where #

Methods

zeroArrow :: a b c #

Instances

Instances details

ArrowZero IOLA Source #
Instance details Defined in Control.Arrow.IOListArrow Methods zeroArrow :: IOLA b c #
ArrowZero LA Source #
Instance details Defined in Control.Arrow.ListArrow Methods zeroArrow :: LA b c #
MonadPlus m => ArrowZero (Kleisli m)
Instance details Defined in GHC.Internal.Control.Arrow Methods zeroArrow :: Kleisli m b c #
ArrowZero (IOSLA s) Source #
Instance details Defined in Control.Arrow.IOStateListArrow Methods zeroArrow :: IOSLA s b c #
ArrowZero (SLA s) Source #
Instance details Defined in Control.Arrow.StateListArrow Methods zeroArrow :: SLA s b c #

newtype Kleisli (m :: Type -> Type) a b #

Constructors

Kleisli
Fields runKleisli :: a -> m b

Instances

Instances details

Monad m => Category (Kleisli m :: Type -> Type -> Type)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

id :: Kleisli m a a

(.) :: Kleisli m b c -> Kleisli m a b -> Kleisli m a c

Generic1 (Kleisli m a :: Type -> Type)

Instance details

Defined in GHC.Internal.Control.Arrow

Associated Types

type Rep1 (Kleisli m a :: Type -> Type)
Instance details Defined in GHC.Internal.Control.Arrow type Rep1 (Kleisli m a :: Type -> Type) = D1 ('MetaData "Kleisli" "GHC.Internal.Control.Arrow" "ghc-internal" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ((FUN 'Many a :: Type -> Type) :.: Rec1 m)))

Methods

from1 :: Kleisli m a a0 -> Rep1 (Kleisli m a) a0

to1 :: Rep1 (Kleisli m a) a0 -> Kleisli m a a0

Monad m => Arrow (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

arr :: (b -> c) -> Kleisli m b c #

first :: Kleisli m b c -> Kleisli m (b, d) (c, d) #

second :: Kleisli m b c -> Kleisli m (d, b) (d, c) #

(***) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (b, b') (c, c') #

(&&&) :: Kleisli m b c -> Kleisli m b c' -> Kleisli m b (c, c') #

Monad m => ArrowApply (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

app :: Kleisli m (Kleisli m b c, b) c #

Monad m => ArrowChoice (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

left :: Kleisli m b c -> Kleisli m (Either b d) (Either c d) #

right :: Kleisli m b c -> Kleisli m (Either d b) (Either d c) #

(+++) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (Either b b') (Either c c') #

(|||) :: Kleisli m b d -> Kleisli m c d -> Kleisli m (Either b c) d #

MonadFix m => ArrowLoop (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

loop :: Kleisli m (b, d) (c, d) -> Kleisli m b c #

MonadPlus m => ArrowPlus (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

(<+>) :: Kleisli m b c -> Kleisli m b c -> Kleisli m b c #

MonadPlus m => ArrowZero (Kleisli m)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

zeroArrow :: Kleisli m b c #

Alternative m => Alternative (Kleisli m a)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

empty :: Kleisli m a a0

(<|>) :: Kleisli m a a0 -> Kleisli m a a0 -> Kleisli m a a0

some :: Kleisli m a a0 -> Kleisli m a [a0]

many :: Kleisli m a a0 -> Kleisli m a [a0]

Applicative m => Applicative (Kleisli m a)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

pure :: a0 -> Kleisli m a a0

(<*>) :: Kleisli m a (a0 -> b) -> Kleisli m a a0 -> Kleisli m a b

liftA2 :: (a0 -> b -> c) -> Kleisli m a a0 -> Kleisli m a b -> Kleisli m a c

(*>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a b

(<*) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a a0

Functor m => Functor (Kleisli m a)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

fmap :: (a0 -> b) -> Kleisli m a a0 -> Kleisli m a b

(<$) :: a0 -> Kleisli m a b -> Kleisli m a a0

Monad m => Monad (Kleisli m a)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

(>>=) :: Kleisli m a a0 -> (a0 -> Kleisli m a b) -> Kleisli m a b

(>>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a b

return :: a0 -> Kleisli m a a0

MonadPlus m => MonadPlus (Kleisli m a)

Instance details

Defined in GHC.Internal.Control.Arrow

Methods

mzero :: Kleisli m a a0

mplus :: Kleisli m a a0 -> Kleisli m a a0 -> Kleisli m a a0

Generic (Kleisli m a b)

Instance details

Defined in GHC.Internal.Control.Arrow

Associated Types

type Rep (Kleisli m a b)
Instance details Defined in GHC.Internal.Control.Arrow type Rep (Kleisli m a b) = D1 ('MetaData "Kleisli" "GHC.Internal.Control.Arrow" "ghc-internal" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> m b))))

Methods

from :: Kleisli m a b -> Rep (Kleisli m a b) x

to :: Rep (Kleisli m a b) x -> Kleisli m a b

type Rep1 (Kleisli m a :: Type -> Type)

Instance details

Defined in GHC.Internal.Control.Arrow

type Rep1 (Kleisli m a :: Type -> Type) = D1 ('MetaData "Kleisli" "GHC.Internal.Control.Arrow" "ghc-internal" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ((FUN 'Many a :: Type -> Type) :.: Rec1 m)))

type Rep (Kleisli m a b)

Instance details

Defined in GHC.Internal.Control.Arrow

type Rep (Kleisli m a b) = D1 ('MetaData "Kleisli" "GHC.Internal.Control.Arrow" "ghc-internal" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> m b))))

module Control.Arrow.ArrowExc

module Control.Arrow.ArrowIf

module Control.Arrow.ArrowIO

module Control.Arrow.ArrowList

module Control.Arrow.ArrowNavigatableTree

module Control.Arrow.ArrowNF

module Control.Arrow.ArrowState

module Control.Arrow.ArrowTree

module Control.Arrow.ListArrow

module Control.Arrow.StateListArrow

module Control.Arrow.IOListArrow

module Control.Arrow.IOStateListArrow

module Control.Arrow.NTreeEdit