Moduletyperep-map-0.7.0.0

Data.TypeRepMap

Synopsis

valueadjust :: Typeable a => (f a -> f a) -> TypeRepMap f -> TypeRepMap f

valuealter

valuedelete :: Typeable a => TypeRepMap f -> TypeRepMap f

valueempty :: TypeRepMap f

valuehoist :: (forall (x :: k). f x -> g x) -> TypeRepMap f -> TypeRepMap g

valuehoistA

valuehoistWithKey

valueinsert :: Typeable a => f a -> TypeRepMap f -> TypeRepMap f

valueintersection :: TypeRepMap f -> TypeRepMap f -> TypeRepMap f

valueintersectionWith

valuekeys :: TypeRepMap f -> [SomeTypeRep]

valuekeysWith

valuelookup :: Typeable a => TypeRepMap f -> Maybe (f a)

valuemember :: Typeable a => TypeRepMap f -> Bool

valueone :: Typeable a => f a -> TypeRepMap f

valuesize :: TypeRepMap f -> Int

valuetoListWith

valueunion :: TypeRepMap f -> TypeRepMap f -> TypeRepMap f

valueunionWith

datadata TypeRepMap (f :: k -> Type)

Instances7IsList, Eq, Show, Semigroup, Monoid, NFData, …

IsList (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
(forall (a :: k). Typeable a => Eq (f a)) => Eq (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
Show (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
Semigroup (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
Monoid (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
NFData (TypeRepMap f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal
type Item (TypeRepMap f) = WrapTypeable fDefined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal

datadata WrapTypeable (f :: k -> Type) where

Instances1Show

Show (WrapTypeable f)Defined in typerep-map-0.7.0.0 · Data.TypeRepMap.Internal