reflex-0.4.0: 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 f m -> m (DMap f Identity) Source

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 Source

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

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

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

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

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

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

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