Data.GWrappedIx

Documentation

newtype WrappedIx m p a

Wrap a two-parameter-indexed type constructor:

Constructors

WrappedIx

Fields

• unIx :: m (FstIx p) (SndIx p) a

Instances

IxFunctor * * f => GFunctor (*, *) (WrappedIx f)

Associated Types

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

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

Methods

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

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

Graphted (*, *) (WrappedIx m)

Associated Types

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

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

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

IxPointed * f => GPointed (*, *) (WrappedIx f)

Associated Types

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

type PureCxt (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) :: Constraint

Methods

gpure :: a -> f (Pure (WrappedIx f) f) a

gpure' :: PureCxt (WrappedIx f) f t => a -> f t a

IxApplicative * f => GApplicative (*, *) (WrappedIx f)

Associated Types

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

type ApplyInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

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

type ThenInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

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

type ButInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

Methods

gap :: ApplyInv (WrappedIx f) f i j => f i (a -> b) -> f j a -> f (Apply (WrappedIx f) f i j) b

gthen :: ThenInv (WrappedIx f) f i j => f i a -> f j b -> f (Then (WrappedIx f) f i j) b

gbut :: ButInv (WrappedIx f) f i j => f i a -> f j b -> f (But (WrappedIx f) f i j) a

IxMonad * m => GMonad (*, *) (WrappedIx m)

Associated Types

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

type BindInv (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

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

type JoinInv (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

Methods

gbind :: BindInv (WrappedIx m) m i j => m i a -> (a -> m j b) -> m (Bind (WrappedIx m) m i j) b

gjoin :: JoinInv (WrappedIx m) m i j => m i (m j b) -> m (Join (WrappedIx m) m i j) b

IxMonadZero * m => GMonadZero (*, *) (WrappedIx m)

Associated Types

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

Methods

gzero :: m (Zero (WrappedIx m) m) a

IxMonadZero * m => GMonadFail (*, *) (WrappedIx m)

Associated Types

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

Methods

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

IxMonadPlus * m => GMonadPlus (*, *) (WrappedIx m)

Associated Types

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

type PlusInv (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

Methods

gplus :: PlusInv (WrappedIx m) m i j => m i a -> m j a -> m (Plus (WrappedIx m) m i j) a

type Unit (*, *) (WrappedIx m)

type Unit (*, *) (WrappedIx m) = (,) * * (Any *) (Any *)

type Pure (*, *) (WrappedIx f)

type Pure (*, *) (WrappedIx f) = Unit (*, *) (WrappedIx f)

type Zero (*, *) (WrappedIx m)

type Zero (*, *) (WrappedIx m) = Unit (*, *) (WrappedIx m)

type Fail (*, *) (WrappedIx m)

type Fail (*, *) (WrappedIx m) = Unit (*, *) (WrappedIx m)

type Fmap (*, *) (WrappedIx f) i

type Fmap (*, *) (WrappedIx f) i = i

type Fconst (*, *) (WrappedIx f) i

type Fconst (*, *) (WrappedIx f) i = Fmap (*, *) (WrappedIx f) i

type PureCxt (*, *) (WrappedIx f) i

type PureCxt (*, *) (WrappedIx f) i = (~) * (FstIx * i) (SndIx * i)

type Inv (*, *) (WrappedIx m) i j

type Inv (*, *) (WrappedIx m) i j = (~) * (SndIx * i) (FstIx * j)

type Combine (*, *) (WrappedIx m) i j

type Combine (*, *) (WrappedIx m) i j = (,) * * (FstIx * i) (SndIx * j)

type Apply (*, *) (WrappedIx f) i j

type Apply (*, *) (WrappedIx f) i j = Combine (*, *) (WrappedIx f) i j

type ApplyInv (*, *) (WrappedIx f) i j

type ApplyInv (*, *) (WrappedIx f) i j = Inv (*, *) (WrappedIx f) i j

type Then (*, *) (WrappedIx f) i j

type Then (*, *) (WrappedIx f) i j = Apply (*, *) (WrappedIx f) (Fconst (*, *) (WrappedIx f) i) j

type ThenInv (*, *) (WrappedIx f) i j

type ThenInv (*, *) (WrappedIx f) i j = ApplyInv (*, *) (WrappedIx f) i j

type But (*, *) (WrappedIx m) l r

type But (*, *) (WrappedIx m) l r = (,) * * (FstIx * l) (SndIx * r)

type ButInv (*, *) (WrappedIx f) i j

type ButInv (*, *) (WrappedIx f) i j = ApplyInv (*, *) (WrappedIx f) i j

type Bind (*, *) (WrappedIx m) i j

type Bind (*, *) (WrappedIx m) i j = Combine (*, *) (WrappedIx m) i j

type BindInv (*, *) (WrappedIx m) i j

type BindInv (*, *) (WrappedIx m) i j = Inv (*, *) (WrappedIx m) i j

type Join (*, *) (WrappedIx m) i j

type Join (*, *) (WrappedIx m) i j = Bind (*, *) (WrappedIx m) i j

type JoinInv (*, *) (WrappedIx m) i j

type JoinInv (*, *) (WrappedIx m) i j = BindInv (*, *) (WrappedIx m) i j

type Plus (*, *) (WrappedIx m) i j

type Plus (*, *) (WrappedIx m) i j = Combine (*, *) (WrappedIx m) i j

type PlusInv (*, *) (WrappedIx m) l r

type PlusInv (*, *) (WrappedIx m) l r = ((~) * (FstIx * l) (FstIx * r), (~) * (SndIx * l) (SndIx * r))

type family FstIx p :: * where ...

Equations

FstIx '(i, j) = i

type family SndIx p :: * where ...

Equations

SndIx '(i, j) = j

liftIx :: m i j a -> WrappedIx m '(i, j) a

Lift an object to WrappedIx.