reflex-0.3.2: Higher-order Functional Reactive Programming

Safe HaskellSafe
LanguageHaskell98

Data.Functor.Misc

Documentation

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

Constructors

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

Instances

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

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

Constructors

Const2 :: k -> Const2 k v v 

Instances

Ord k => GCompare * (Const2 k v) Source 
Eq k => GEq * (Const2 k v) Source 

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

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

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

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

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

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

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

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

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