Add remaining Arrow properties.
parent
d8ea9d8145
commit
387a0eecc7
|
@ -3,35 +3,43 @@
|
||||||
module Postlude (module X) where
|
module Postlude (module X) where
|
||||||
|
|
||||||
import Control.Applicative as X
|
import Control.Applicative as X
|
||||||
( (*>)
|
( Applicative
|
||||||
|
, (*>)
|
||||||
, (<$>)
|
, (<$>)
|
||||||
, (<*)
|
, (<*)
|
||||||
, (<*>)
|
, (<*>)
|
||||||
, Applicative
|
|
||||||
, pure
|
, pure
|
||||||
)
|
)
|
||||||
|
|
||||||
import Control.Arrow as X
|
import Control.Arrow as X
|
||||||
( (&&&)
|
( Arrow
|
||||||
|
, ArrowChoice
|
||||||
|
, ArrowLoop
|
||||||
|
, ArrowMonad
|
||||||
|
, ArrowPlus
|
||||||
|
, ArrowZero
|
||||||
|
, (&&&)
|
||||||
, (***)
|
, (***)
|
||||||
, (+++)
|
, (+++)
|
||||||
|
, (<+>)
|
||||||
, (<<<)
|
, (<<<)
|
||||||
, (>>>)
|
, (>>>)
|
||||||
, (|||)
|
, (|||)
|
||||||
, Arrow
|
|
||||||
, ArrowChoice
|
|
||||||
, arr
|
, arr
|
||||||
, first
|
, first
|
||||||
, left
|
, left
|
||||||
|
, loop
|
||||||
, returnA
|
, returnA
|
||||||
, right
|
, right
|
||||||
, second
|
, second
|
||||||
|
, zeroArrow
|
||||||
)
|
)
|
||||||
|
|
||||||
import Control.Monad as X
|
import Control.Monad as X
|
||||||
( Functor
|
( Functor
|
||||||
, Monad
|
, Monad
|
||||||
, MonadPlus
|
, MonadPlus
|
||||||
|
, (<$)
|
||||||
, (>>)
|
, (>>)
|
||||||
, (>>=)
|
, (>>=)
|
||||||
, fail
|
, fail
|
||||||
|
|
Loading…
Reference in New Issue