Data.Functor.Misc

Documentation

data WrapArg :: (k -> *) -> (k -> *) -> * -> * where

Constructors

WrapArg :: f a -> WrapArg g f (g a)

Instances

GCompare k f => GCompare * (WrapArg k g f)

Methods

gcompare :: f a -> f b -> GOrdering (WrapArg k g f) a b

GEq k f => GEq * (WrapArg k g f)

Methods

geq :: f a -> f b -> Maybe ((WrapArg k g f := a) b)

data Const2 :: * -> * -> * -> * where

Constructors

Const2 :: k -> Const2 k v v

Instances

Ord k => GCompare * (Const2 k v)

Methods

gcompare :: f a -> f b -> GOrdering (Const2 k v) a b

Eq k => GEq * (Const2 k v)

Methods

geq :: f a -> f b -> Maybe ((Const2 k v := a) b)

sequenceDmap :: (Monad m, GCompare f) => DMap f m -> m (DMap f Identity)

combineDMapsWithKey :: forall f g h i. GCompare f => (forall a. f a -> These (g a) (h a) -> i a) -> DMap f g -> DMap f h -> DMap f i

wrapDMap :: (forall a. a -> f a) -> DMap k Identity -> DMap k f

rewrapDMap :: (forall a. f a -> g a) -> DMap k f -> DMap k g

unwrapDMap :: (forall a. f a -> a) -> DMap k f -> DMap k Identity

unwrapDMapMaybe :: (forall a. f a -> Maybe a) -> DMap k f -> DMap k Identity

mapToDMap :: Map k v -> DMap (Const2 k v) Identity

mapWithFunctorToDMap :: Map k (f v) -> DMap (Const2 k v) f

dmapToMap :: DMap (Const2 k v) Identity -> Map k v