reflex-0.1.0: Higher-order Functional Reactive Programming

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Functor.Misc

Documentation

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

Constructors

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

Instances

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

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

Constructors

Const2 :: k -> Const2 k v v 

Instances

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

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

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