reflex-0.4.0.1: Higher-order Functional Reactive Programming

Safe HaskellNone
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 # 

Methods

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

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

Methods

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

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

Constructors

Const2 :: k -> Const2 k v v 

Instances

Ord k => GCompare * (Const2 k v) Source # 

Methods

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

Eq k => GEq * (Const2 k v) Source # 

Methods

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

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 #