Prelude.Graphted

Documentation

fmap :: GFunctor f => (a -> b) -> f i a -> f (Fmap f i) b

(<$) :: GFunctor f => b -> f i a -> f (Replace f i) b infixl 4

(<$>) :: GFunctor f => (a -> b) -> f i a -> f (Fmap f i) b

pure :: GPointed f => a -> f (Pure f) a

(<*>) :: (GApplicative f, ApplyInv f i j) => f i (a -> b) -> f j a -> f (Apply f i j) b infixl 4

(*>) :: (GApplicative f, ThenInv f i j) => f i a -> f j b -> f (Then f i j) b infixl 4

(<*) :: (GApplicative f, ButInv f i j) => f i a -> f j b -> f (But f i j) a infixl 4

return :: GPointed m => a -> m (Pure m) a

(>>=) :: (GMonad m, BindInv m i j) => m i a -> (a -> m j b) -> m (Bind m i j) b infixl 1

(=<<) :: (GMonad m, BindInv m i j) => (a -> m j b) -> m i a -> m (Bind m i j) b infixr 1

(>>) :: (GApplicative m, ThenInv m i j) => m i a -> m j b -> m (Then m i j) b infixl 1

fail :: GMonadFail m => String -> m (Fail m) a

zero :: GMonadZero m => m (Zero m) a

(<+>) :: (GMonadPlus f, PlusInv f i j) => f i a -> f j a -> f (Plus f i j) a

(<|>) :: (GMonadOr f, OrInv f i j) => f i a -> f j a -> f (Or f i j) a

(<**>) :: (GApplicative f, _) => f i1 a -> f i2 (a -> b) -> f (Apply f (Apply f (Pure f) i1) i2) b infixl 4

liftA :: (GApplicative f, _) => (a -> b) -> f i1 a -> f (Apply f (Pure f) i1) b

liftA2 :: (GApplicative f, _) => (a1 -> a2 -> b) -> f i1 a1 -> f i2 a2 -> f (LiftA2 f i1 i2) b

liftA3 :: (GApplicative f, _) => (a1 -> a2 -> a3 -> b) -> f i1 a1 -> f i2 a2 -> f i3 a3 -> f (Apply f (LiftA2 f i1 i2) i3) b

join :: (GMonad m, JoinInv m i j) => m i (m j b) -> m (Join m i j) b

liftM :: (GApplicative m, _) => (t -> b) -> m j t -> m (Fmap m j) b

liftM2 :: (GApplicative m, _) => (t1 -> t -> b) -> m i1 t1 -> m i t -> m (Apply m (Fmap m i1) i) b

liftM3 :: (GApplicative m, _) => (t2 -> t1 -> t -> b) -> m i2 t2 -> m i1 t1 -> m i t -> m (Apply m (Apply m (Fmap m i2) i1) i) b

liftM4 :: (GApplicative m, _) => (t3 -> t2 -> t1 -> t -> b) -> m i3 t3 -> m i2 t2 -> m i1 t1 -> m i t -> m (Apply m (Apply m (Apply m (Fmap m i3) i2) i1) i) b

liftM5 :: (GApplicative m, _) => (t4 -> t3 -> t2 -> t1 -> t -> b) -> m i4 t4 -> m i3 t3 -> m i2 t2 -> m i1 t1 -> m i t -> m (Apply m (Apply m (Apply m (Apply m (Fmap m i4) i3) i2) i1) i) b

ap :: (GApplicative m, _) => m i (t -> b) -> m j t -> m (Apply m (Fmap m i) j) b

mapM_ :: (GApplicative m, Foldable t, Apply m (Fmap m i) (Pure m) ~ Pure m, _) => (a1 -> m i a) -> t a1 -> m (Pure m) ()

sequence_ :: (GApplicative m, Foldable t, Apply m (Fmap m i) (Pure m) ~ Pure m, _) => t (m i a) -> m (Pure m) ()