Index
| !! | Control.Category.Hask, Control.Category.Constrained.Prelude |
| $ | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| $! | Control.Category.Hask, Control.Category.Constrained.Prelude |
| $~ | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| && | Control.Category.Hask, Control.Category.Constrained.Prelude |
| &&& | Control.Arrow.Constrained |
| * | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ** | Control.Category.Hask, Control.Category.Constrained.Prelude |
| *** | Control.Arrow.Constrained |
| *> | Control.Category.Hask |
| + | |
| 1 (Function) | Control.Category.Hask, Control.Category.Constrained.Prelude |
| 2 (Type/Class) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ++ | Control.Category.Hask, Control.Category.Constrained.Prelude |
| +++ | Control.Arrow.Constrained |
| - | Control.Category.Hask, Control.Category.Constrained.Prelude |
| . | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| / | Control.Category.Hask, Control.Category.Constrained.Prelude |
| /= | Control.Category.Hask, Control.Category.Constrained.Prelude |
| :&&& | Control.Category.Constrained.Reified.PolyPattern |
| :*** | Control.Category.Constrained.Reified.PolyPattern |
| :<<< | Control.Category.Constrained.Reified.PolyPattern |
| :>>> | Control.Category.Constrained.Reified.PolyPattern |
| < | Control.Category.Hask, Control.Category.Constrained.Prelude |
| <$ | Control.Category.Hask |
| <$!> | Control.Category.Hask |
| <$> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| <* | Control.Category.Hask |
| <**> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| <*> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| << | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| <<< | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained |
| <= | Control.Category.Hask, Control.Category.Constrained.Prelude |
| <=< | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained |
| <|> | Control.Category.Hask |
| =<< | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| == | Control.Category.Hask, Control.Category.Constrained.Prelude |
| > | Control.Category.Hask, Control.Category.Constrained.Prelude |
| >= | Control.Category.Hask, Control.Category.Constrained.Prelude |
| >=> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained |
| >> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| >>= | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| >>> | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained |
| abs | Control.Category.Hask, Control.Category.Constrained.Prelude |
| acos | Control.Category.Hask, Control.Category.Constrained.Prelude |
| acosh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| AgentVal | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| alg | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| alg1to2 | Control.Arrow.Constrained |
| alg2to1 | Control.Arrow.Constrained |
| alg2to2 | Control.Arrow.Constrained |
| all | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Alternative | Control.Category.Hask |
| and | Control.Category.Hask, Control.Category.Constrained.Prelude |
| any | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ap | Control.Category.Hask |
| appendFile | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Applicative | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| apply | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| arr | Control.Arrow.Constrained |
| Arrow | Control.Arrow.Constrained |
| ArrowChoice | Control.Arrow.Constrained |
| asin | Control.Category.Hask, Control.Category.Constrained.Prelude |
| asinh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| asTypeOf | Control.Category.Hask, Control.Category.Constrained.Prelude |
| atan | Control.Category.Hask, Control.Category.Constrained.Prelude |
| atan2 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| atanh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| AttachUnit | Control.Category.Constrained.Reified.PolyPattern |
| attachUnit | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| attachZero | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Bool | Control.Category.Hask, Control.Category.Constrained.Prelude |
| boolAsSum | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| boolAsSwitch | Control.Arrow.Constrained |
| boolFromSum | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| boolFromSwitch | Control.Arrow.Constrained |
| Bounded | Control.Category.Hask, Control.Category.Constrained.Prelude |
| break | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Cartesian | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| CartesianAgent | Control.Arrow.Constrained |
| CartesianAttachUnit | Control.Category.Constrained.Reified |
| CartesianCompo | Control.Category.Constrained.Reified |
| CartesianDetachUnit | Control.Category.Constrained.Reified |
| CartesianId | Control.Category.Constrained.Reified |
| CartesianRegroup | Control.Category.Constrained.Reified |
| CartesianRegroup_ | Control.Category.Constrained.Reified |
| CartesianSwap | Control.Category.Constrained.Reified |
| Category | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| CategoryCompo | Control.Category.Constrained.Reified |
| CategoryId | Control.Category.Constrained.Reified |
| CatTagged | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ceiling | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Char | Control.Category.Hask, Control.Category.Constrained.Prelude |
| choose | Control.Arrow.Constrained |
| CoCartesian | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| coFst | Control.Arrow.Constrained |
| compare | Control.Category.Hask, Control.Category.Constrained.Prelude |
| concat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| concatMap | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained |
| Const | |
| 1 (Data Constructor) | Control.Category.Hask |
| 2 (Type/Class) | Control.Category.Hask |
| 3 (Data Constructor) | Control.Category.Constrained.Reified.PolyPattern |
| const | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| constPure | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| constrained | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ConstrainedCategory | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| constrainedFmap | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| constrainedFZipWith | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ConstrainedMorphism | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| coRegroup | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| coRegroup' | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| cos | Control.Category.Hask, Control.Category.Constrained.Prelude |
| cosh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| coSnd | Control.Arrow.Constrained |
| coSwap | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| CRCartesian | Control.Category.Constrained.Reified.PolyPattern |
| CRCategory | Control.Category.Constrained.Reified.PolyPattern |
| CRMorphism | Control.Category.Constrained.Reified.PolyPattern |
| CRPreArrow | Control.Category.Constrained.Reified.PolyPattern |
| CRWellPointed | Control.Category.Constrained.Reified.PolyPattern |
| Curry | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| curry | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| cycle | Control.Category.Hask, Control.Category.Constrained.Prelude |
| decodeFloat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| DetachUnit | Control.Category.Constrained.Reified.PolyPattern |
| detachUnit | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| detachZero | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| distribute | Control.Arrow.Constrained |
| div | Control.Category.Hask, Control.Category.Constrained.Prelude |
| divMod | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Double | Control.Category.Hask, Control.Category.Constrained.Prelude |
| drop | Control.Category.Hask, Control.Category.Constrained.Prelude |
| dropWhile | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Either | Control.Category.Hask, Control.Category.Constrained.Prelude |
| either | Control.Category.Hask, Control.Category.Constrained.Prelude |
| elem | Control.Category.Hask, Control.Category.Constrained.Prelude |
| empty | Control.Category.Hask |
| encodeFloat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| EndoTraversable | Data.Traversable.Constrained |
| EnhancedCat | Control.Arrow.Constrained |
| Enum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| enumFrom | Control.Category.Hask, Control.Category.Constrained.Prelude |
| enumFromThen | Control.Category.Hask, Control.Category.Constrained.Prelude |
| enumFromThenTo | Control.Category.Hask, Control.Category.Constrained.Prelude |
| enumFromTo | Control.Category.Hask, Control.Category.Constrained.Prelude |
| EQ | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Eq | Control.Category.Hask, Control.Category.Constrained.Prelude |
| error | Control.Category.Hask, Control.Category.Constrained.Prelude |
| even | Control.Category.Hask, Control.Category.Constrained.Prelude |
| exp | Control.Category.Hask, Control.Category.Constrained.Prelude |
| exponent | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fail | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| False | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ffoldl | Data.Foldable.Constrained |
| FilePath | Control.Category.Hask, Control.Category.Constrained.Prelude |
| filter | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| filterM | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| first | Control.Arrow.Constrained |
| flip | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Float | Control.Category.Hask, Control.Category.Constrained.Prelude |
| floatDigits | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Floating | Control.Category.Hask, Control.Category.Constrained.Prelude |
| floatRadix | Control.Category.Hask, Control.Category.Constrained.Prelude |
| floatRange | Control.Category.Hask, Control.Category.Constrained.Prelude |
| floor | Control.Category.Hask, Control.Category.Constrained.Prelude |
| flout | Control.Arrow.Constrained |
| fmap | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| fmplus | Control.Monad.Constrained |
| fmzero | Control.Monad.Constrained |
| fold | Data.Foldable.Constrained |
| Foldable | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Data.Foldable.Constrained |
| foldl | Control.Category.Hask, Control.Category.Constrained.Prelude |
| foldl1 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| foldM | Control.Category.Hask |
| foldMap | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained |
| foldM_ | Control.Category.Hask |
| foldr | Control.Category.Hask, Control.Category.Constrained.Prelude |
| foldr1 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| follow | Control.Arrow.Constrained |
| forever | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained |
| forM | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| forM_ | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Fractional | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fromEnum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fromInteger | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fromIntegral | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fromRational | Control.Category.Hask, Control.Category.Constrained.Prelude |
| fromSpecific | Control.Category.Constrained.Reified.PolyPattern |
| Fst | Control.Category.Constrained.Reified.PolyPattern |
| fst | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| Function | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| Functor | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| fzip | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| fzipWith | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| gcd | Control.Category.Hask, Control.Category.Constrained.Prelude |
| GenericAgent | |
| 1 (Type/Class) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| 2 (Data Constructor) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| genericAgentCombine | Control.Arrow.Constrained |
| genericAgentMap | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| genericAlg | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| genericAlg1to2 | Control.Arrow.Constrained |
| genericAlg2to1 | Control.Arrow.Constrained |
| genericAlg2to2 | Control.Arrow.Constrained |
| genericPoint | Control.Arrow.Constrained |
| genericUnit | Control.Arrow.Constrained |
| getChar | Control.Category.Hask, Control.Category.Constrained.Prelude |
| getConst | Control.Category.Hask |
| getContents | Control.Category.Hask, Control.Category.Constrained.Prelude |
| getLine | Control.Category.Hask, Control.Category.Constrained.Prelude |
| getZipList | Control.Category.Hask |
| globalElement | Control.Arrow.Constrained |
| GT | Control.Category.Hask, Control.Category.Constrained.Prelude |
| guard | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained |
| HasAgent | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| haskTraverse | Data.Traversable.Constrained |
| head | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Id | Control.Category.Constrained.Reified.PolyPattern |
| id | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ifThenElse | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| inCategoryOf | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| init | Control.Category.Hask, Control.Category.Constrained.Prelude |
| initial | Control.Arrow.Constrained |
| Int | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Integer | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Integral | Control.Category.Hask, Control.Category.Constrained.Prelude |
| interact | Control.Category.Hask, Control.Category.Constrained.Prelude |
| IO | Control.Category.Hask, Control.Category.Constrained.Prelude |
| IOError | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ioError | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isDenormalized | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isIEEE | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isInfinite | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isNaN | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isNegativeZero | Control.Category.Hask, Control.Category.Constrained.Prelude |
| iso | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Isomorphic | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| iterate | Control.Category.Hask, Control.Category.Constrained.Prelude |
| join | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Just | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Kleisli | |
| 1 (Type/Class) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| 2 (Data Constructor) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| last | Control.Category.Hask, Control.Category.Constrained.Prelude |
| lcm | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Left | Control.Category.Hask, Control.Category.Constrained.Prelude |
| left | Control.Arrow.Constrained |
| length | Control.Category.Hask, Control.Category.Constrained.Prelude |
| lex | Control.Category.Hask, Control.Category.Constrained.Prelude |
| liftA | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| liftA2 | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| liftA3 | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| liftM | Control.Category.Hask |
| liftM2 | Control.Category.Hask |
| liftM3 | Control.Category.Hask |
| liftM4 | Control.Category.Hask |
| liftM5 | Control.Category.Hask |
| lines | Control.Category.Hask, Control.Category.Constrained.Prelude |
| log | Control.Category.Hask, Control.Category.Constrained.Prelude |
| logBase | Control.Category.Hask, Control.Category.Constrained.Prelude |
| lookup | Control.Category.Hask, Control.Category.Constrained.Prelude |
| LT | Control.Category.Hask, Control.Category.Constrained.Prelude |
| many | Control.Category.Hask |
| map | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mapAndUnzipM | Control.Category.Hask |
| mapEither | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mapM | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mapM_ | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mappend | Control.Category.Hask, Control.Category.Constrained.Prelude |
| match_attachUnit | Control.Category.Constrained.Reified.PolyPattern |
| match_compose | Control.Category.Constrained.Reified.PolyPattern |
| match_concrete | Control.Category.Constrained.Reified.PolyPattern |
| match_const | Control.Category.Constrained.Reified.PolyPattern |
| match_detachUnit | Control.Category.Constrained.Reified.PolyPattern |
| match_fan | Control.Category.Constrained.Reified.PolyPattern |
| match_fst | Control.Category.Constrained.Reified.PolyPattern |
| match_id | Control.Category.Constrained.Reified.PolyPattern |
| match_par | Control.Category.Constrained.Reified.PolyPattern |
| match_regroup | Control.Category.Constrained.Reified.PolyPattern |
| match_regroup' | Control.Category.Constrained.Reified.PolyPattern |
| match_snd | Control.Category.Constrained.Reified.PolyPattern |
| match_swap | Control.Category.Constrained.Reified.PolyPattern |
| match_terminal | Control.Category.Constrained.Reified.PolyPattern |
| max | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maxBound | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maximum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Maybe | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maybe | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maybeAsSum | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| maybeFromSum | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mconcat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mempty | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mfilter | Control.Category.Hask |
| min | Control.Category.Hask, Control.Category.Constrained.Prelude |
| minBound | Control.Category.Hask, Control.Category.Constrained.Prelude |
| minimum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mod | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Monad | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MonadFail | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MonadPlus | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Monad.Constrained |
| MonadZero | Control.Monad.Constrained |
| Monoid | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Monoidal | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MorphChoice | Control.Arrow.Constrained |
| Morphism | Control.Arrow.Constrained |
| MorphismAttachUnit | Control.Category.Constrained.Reified |
| MorphismCompo | Control.Category.Constrained.Reified |
| MorphismDetachUnit | Control.Category.Constrained.Reified |
| MorphismId | Control.Category.Constrained.Reified |
| MorphismPar | Control.Category.Constrained.Reified |
| MorphismRegroup | Control.Category.Constrained.Reified |
| MorphismRegroup_ | Control.Category.Constrained.Reified |
| MorphismSwap | Control.Category.Constrained.Reified |
| MorphObjects | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mplus | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| msum | Control.Category.Hask |
| mzero | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| negate | Control.Category.Hask, Control.Category.Constrained.Prelude |
| not | Control.Category.Hask, Control.Category.Constrained.Prelude |
| notElem | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Nothing | Control.Category.Hask, Control.Category.Constrained.Prelude |
| null | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Num | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Object | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ObjectMorphism | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ObjectPair | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ObjectPoint | Control.Arrow.Constrained |
| ObjectSum | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| odd | Control.Category.Hask, Control.Category.Constrained.Prelude |
| optional | Control.Category.Hask |
| or | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Ord | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Ordering | Control.Category.Hask, Control.Category.Constrained.Prelude |
| otherwise | Control.Category.Hask, Control.Category.Constrained.Prelude |
| PairObjects | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| pi | Control.Category.Hask, Control.Category.Constrained.Prelude |
| point | Control.Arrow.Constrained |
| PointAgent | Control.Arrow.Constrained |
| PointObject | Control.Arrow.Constrained |
| PreArrChoice | Control.Arrow.Constrained |
| PreArrow | Control.Arrow.Constrained |
| PreArrowAttachUnit | Control.Category.Constrained.Reified |
| PreArrowCompo | Control.Category.Constrained.Reified |
| PreArrowDetachUnit | Control.Category.Constrained.Reified |
| PreArrowFanout | Control.Category.Constrained.Reified |
| PreArrowFst | Control.Category.Constrained.Reified |
| PreArrowId | Control.Category.Constrained.Reified |
| PreArrowPar | Control.Category.Constrained.Reified |
| PreArrowRegroup | Control.Category.Constrained.Reified |
| PreArrowRegroup_ | Control.Category.Constrained.Reified |
| PreArrowSnd | Control.Category.Constrained.Reified |
| PreArrowSwap | Control.Category.Constrained.Reified |
| PreArrowTerminal | Control.Category.Constrained.Reified |
| pred | Control.Category.Hask, Control.Category.Constrained.Prelude |
| pretend | Control.Arrow.Constrained |
| pretendLike | Control.Arrow.Constrained |
| Control.Category.Hask, Control.Category.Constrained.Prelude | |
| product | Control.Category.Hask, Control.Category.Constrained.Prelude |
| properFraction | Control.Category.Hask, Control.Category.Constrained.Prelude |
| pure | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| pureUnit | Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| putChar | Control.Category.Hask, Control.Category.Constrained.Prelude |
| putStr | Control.Category.Hask, Control.Category.Constrained.Prelude |
| putStrLn | Control.Category.Hask, Control.Category.Constrained.Prelude |
| quot | Control.Category.Hask, Control.Category.Constrained.Prelude |
| quotRem | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Rational | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Read | Control.Category.Hask, Control.Category.Constrained.Prelude |
| read | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readFile | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readIO | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readList | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readLn | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readParen | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ReadS | Control.Category.Hask, Control.Category.Constrained.Prelude |
| reads | Control.Category.Hask, Control.Category.Constrained.Prelude |
| readsPrec | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Real | Control.Category.Hask, Control.Category.Constrained.Prelude |
| RealFloat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| RealFrac | Control.Category.Hask, Control.Category.Constrained.Prelude |
| realToFrac | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ReCartesian | |
| 1 (Type/Class) | Control.Category.Constrained.Reified |
| 2 (Data Constructor) | Control.Category.Constrained.Reified |
| ReCategory | |
| 1 (Type/Class) | Control.Category.Constrained.Reified |
| 2 (Data Constructor) | Control.Category.Constrained.Reified |
| recip | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Regroup | Control.Category.Constrained.Reified.PolyPattern |
| regroup | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Regroup' | Control.Category.Constrained.Reified.PolyPattern |
| regroup' | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| rem | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ReMorphism | |
| 1 (Type/Class) | Control.Category.Constrained.Reified |
| 2 (Data Constructor) | Control.Category.Constrained.Reified |
| repeat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| replicate | Control.Category.Hask, Control.Category.Constrained.Prelude |
| replicateM | Control.Category.Hask |
| replicateM_ | Control.Category.Hask |
| RePreArrow | |
| 1 (Type/Class) | Control.Category.Constrained.Reified |
| 2 (Data Constructor) | Control.Category.Constrained.Reified |
| return | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| reverse | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ReWellPointed | |
| 1 (Type/Class) | Control.Category.Constrained.Reified |
| 2 (Data Constructor) | Control.Category.Constrained.Reified |
| Right | Control.Category.Hask, Control.Category.Constrained.Prelude |
| right | Control.Arrow.Constrained |
| round | Control.Category.Hask, Control.Category.Constrained.Prelude |
| runGenericAgent | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| runKleisli | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| scaleFloat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| scanl | Control.Category.Hask, Control.Category.Constrained.Prelude |
| scanl1 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| scanr | Control.Category.Hask, Control.Category.Constrained.Prelude |
| scanr1 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| second | Control.Arrow.Constrained |
| seq | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sequence | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| sequenceA | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sequence_ | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Show | Control.Category.Hask, Control.Category.Constrained.Prelude |
| show | Control.Category.Hask, Control.Category.Constrained.Prelude |
| showChar | Control.Category.Hask, Control.Category.Constrained.Prelude |
| showList | Control.Category.Hask, Control.Category.Constrained.Prelude |
| showParen | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ShowS | Control.Category.Hask, Control.Category.Constrained.Prelude |
| shows | Control.Category.Hask, Control.Category.Constrained.Prelude |
| showsPrec | Control.Category.Hask, Control.Category.Constrained.Prelude |
| showString | Control.Category.Hask, Control.Category.Constrained.Prelude |
| significand | Control.Category.Hask, Control.Category.Constrained.Prelude |
| signum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sin | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sinh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Snd | Control.Category.Constrained.Reified.PolyPattern |
| snd | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| some | Control.Category.Hask |
| span | Control.Category.Hask, Control.Category.Constrained.Prelude |
| SPDistribute | Control.Arrow.Constrained |
| Specific | Control.Category.Constrained.Reified.PolyPattern |
| SpecificCat | Control.Category.Constrained.Reified.PolyPattern |
| splitAt | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sqrt | Control.Category.Hask, Control.Category.Constrained.Prelude |
| String | Control.Category.Hask, Control.Category.Constrained.Prelude |
| subtract | Control.Category.Hask, Control.Category.Constrained.Prelude |
| succ | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| sum2product | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| SumObjects | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| SumToProduct | Control.Functor.Constrained, Control.Applicative.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| swallow | Control.Arrow.Constrained |
| swallowLike | Control.Arrow.Constrained |
| Swap | Control.Category.Constrained.Reified.PolyPattern |
| swap | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| tail | Control.Category.Hask, Control.Category.Constrained.Prelude |
| take | Control.Category.Hask, Control.Category.Constrained.Prelude |
| takeWhile | Control.Category.Hask, Control.Category.Constrained.Prelude |
| tan | Control.Category.Hask, Control.Category.Constrained.Prelude |
| tanh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Terminal | Control.Category.Constrained.Reified.PolyPattern |
| terminal | Control.Arrow.Constrained |
| toEnum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| toInteger | Control.Category.Hask, Control.Category.Constrained.Prelude |
| toRational | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Traversable | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Data.Traversable.Constrained |
| TraversalObject | Data.Traversable.Constrained |
| traverse | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Traversable.Constrained |
| traverse_ | Data.Foldable.Constrained |
| True | Control.Category.Hask, Control.Category.Constrained.Prelude |
| truncate | Control.Category.Hask, Control.Category.Constrained.Prelude |
| unconstrained | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| uncurry | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| undefined | Control.Category.Hask, Control.Category.Constrained.Prelude |
| unDistribute | Control.Arrow.Constrained |
| unit | Control.Arrow.Constrained |
| UnitObject | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| unless | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| unlines | Control.Category.Hask, Control.Category.Constrained.Prelude |
| until | Control.Category.Hask, Control.Category.Constrained.Prelude |
| unwords | Control.Category.Hask, Control.Category.Constrained.Prelude |
| unwrapArrow | Control.Category.Hask |
| unwrapMonad | Control.Category.Hask |
| unzip | Control.Category.Hask, Control.Category.Constrained.Prelude |
| unzip3 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| userError | Control.Category.Hask, Control.Category.Constrained.Prelude |
| void | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained |
| WellPointed | Control.Arrow.Constrained |
| WellPointedAttachUnit | Control.Category.Constrained.Reified |
| WellPointedCompo | Control.Category.Constrained.Reified |
| WellPointedConst | Control.Category.Constrained.Reified |
| WellPointedDetachUnit | Control.Category.Constrained.Reified |
| WellPointedFanout | Control.Category.Constrained.Reified |
| WellPointedFst | Control.Category.Constrained.Reified |
| WellPointedId | Control.Category.Constrained.Reified |
| WellPointedPar | Control.Category.Constrained.Reified |
| WellPointedRegroup | Control.Category.Constrained.Reified |
| WellPointedRegroup_ | Control.Category.Constrained.Reified |
| WellPointedSnd | Control.Category.Constrained.Reified |
| WellPointedSwap | Control.Category.Constrained.Reified |
| WellPointedTerminal | Control.Category.Constrained.Reified |
| when | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| Word | Control.Category.Hask, Control.Category.Constrained.Prelude |
| words | Control.Category.Hask, Control.Category.Constrained.Prelude |
| WrapArrow | Control.Category.Hask |
| WrapMonad | Control.Category.Hask |
| WrappedArrow | Control.Category.Hask |
| WrappedMonad | Control.Category.Hask |
| writeFile | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ZeroObject | Control.Category.Constrained, Control.Functor.Constrained, Control.Applicative.Constrained, Data.Foldable.Constrained, Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| zip | Control.Category.Hask, Control.Category.Constrained.Prelude |
| zip3 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ZipList | |
| 1 (Data Constructor) | Control.Category.Hask |
| 2 (Type/Class) | Control.Category.Hask |
| zipWith | Control.Category.Hask, Control.Category.Constrained.Prelude |
| zipWith3 | Control.Category.Hask, Control.Category.Constrained.Prelude |
| zipWithM | Control.Category.Hask |
| zipWithM_ | Control.Category.Hask |
| ^ | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ^^ | Control.Category.Hask, Control.Category.Constrained.Prelude |
| || | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ||| | Control.Arrow.Constrained |