Data.GWrapped

Documentation

newtype GWrapped m p a

Wrap a non-indexed type constructor:

Constructors

GWrapped

Fields

• unG :: m a

Instances

Functor f => GFunctor * (GWrapped f)

Associated Types

type Fmap (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) :: p

type Fconst (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) :: p

Methods

gmap :: (a -> b) -> f i a -> f (Fmap (GWrapped f) f i) b

gconst :: a -> f i b -> f (Fconst (GWrapped f) f i) a

Graphted * (GWrapped m)

Associated Types

type Unit (GWrapped m) (f :: GWrapped m -> * -> *) :: p

type Inv (GWrapped m) (f :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: Constraint

type Combine (GWrapped m) (f :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Applicative f => GPointed * (GWrapped f)

Associated Types

type Pure (GWrapped f) (f :: GWrapped f -> * -> *) :: p

Methods

gpoint :: a -> f (Pure (GWrapped f) f) a

gpoint' :: a -> f t a

Applicative f => GApplicative * (GWrapped f)

Associated Types

type Apply (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

type Then (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

type But (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

Methods

gap :: Inv (GWrapped f) f i j => f i (a -> b) -> f j a -> f (Apply (GWrapped f) f i j) b

gthen :: Inv (GWrapped f) f i j => f i a -> f j b -> f (Then (GWrapped f) f i j) b

gbut :: Inv (GWrapped f) f i j => f i a -> f j b -> f (But (GWrapped f) f i j) a

Monad m => GMonad * (GWrapped m)

Associated Types

type Bind (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

type Join (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Methods

gbind :: Inv (GWrapped m) m i j => m i a -> (a -> m j b) -> m (Bind (GWrapped m) m i j) b

gjoin :: Inv (GWrapped m) m i j => m i (m j b) -> m (Join (GWrapped m) m i j) b

MonadPlus m => GMonadZero * (GWrapped m)

Associated Types

type Zero (GWrapped m) (m :: GWrapped m -> * -> *) :: p

Methods

gzero :: m (Zero (GWrapped m) m) a

Monad m => GMonadFail * (GWrapped m)

Associated Types

type Fail (GWrapped m) (m :: GWrapped m -> * -> *) :: p

Methods

gfail :: String -> m (Fail (GWrapped m) m) a

(Alternative m, MonadPlus m) => GMonadOr * (GWrapped m)

Associated Types

type Or (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Methods

gorelse :: m i a -> m j a -> m (Or (GWrapped m) m i j) a

MonadPlus m => GMonadPlus * (GWrapped m)

Associated Types

type Plus (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Methods

gplus :: m i a -> m j a -> m (Plus (GWrapped m) m i j) a

type Unit * (GWrapped _)

type Unit * (GWrapped _) = ()

type Pure * (GWrapped f)

type Pure * (GWrapped f) = Unit * (GWrapped f)

type Zero * (GWrapped m)

type Zero * (GWrapped m) = Unit * (GWrapped m)

type Fail * (GWrapped m)

type Fail * (GWrapped m) = Unit * (GWrapped m)

type Fmap * (GWrapped f) i

type Fmap * (GWrapped f) i = i

type Fconst * (GWrapped f) i

type Fconst * (GWrapped f) i = Fmap * (GWrapped f) i

type Inv * (GWrapped _) i j

type Inv * (GWrapped _) i j = (~~) * * i j

type Combine * (GWrapped _) i j

type Combine * (GWrapped _) i j = i

type Apply * (GWrapped f) i j

type Apply * (GWrapped f) i j = Combine * (GWrapped f) i j

type Then * (GWrapped f) i j

type Then * (GWrapped f) i j = Apply * (GWrapped f) (Fconst * (GWrapped f) i) j

type But * (GWrapped f) i j

type But * (GWrapped f) i j = Apply * (GWrapped f) (Apply * (GWrapped f) (Pure * (GWrapped f)) i) j

type Bind * (GWrapped m) i j

type Bind * (GWrapped m) i j = Combine * (GWrapped m) i j

type Join * (GWrapped m) i j

type Join * (GWrapped m) i j = Bind * (GWrapped m) i j

type Or * (GWrapped m) i j

type Or * (GWrapped m) i j = Combine * (GWrapped m) i j

type Plus * (GWrapped m) i j

type Plus * (GWrapped m) i j = Combine * (GWrapped m) i j

liftG :: m a -> GWrapped m p a

Lift an object to GWrapped.