Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Moduletyperep-map-0.7.0.0

Data.TypeRepMap

2 types
19 values

Packagetyperep-map-0.7.0.0
Exports21
LicenceMPL-2.0

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

valuealter

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

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

valueempty :: TypeRepMap f

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

valuehoistA

:: Applicative t
=> forall (x :: k). f x -> t (g x)
-> TypeRepMap f
-> t (TypeRepMap g)

valuehoistWithKey

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

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

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

valueintersectionWith

:: forall (x :: k). Typeable x => f x -> f x -> f x
-> TypeRepMap f
-> TypeRepMap f
-> TypeRepMap f

valuekeys :: TypeRepMap f -> [SomeTypeRep]

valuekeysWith

:: forall (a :: ArgKindOf f). TypeRep a -> r
-> TypeRepMap f
-> [r]

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

:: forall (a :: ArgKindOf f). Typeable a => f a -> r
-> TypeRepMap f
-> [r]

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

valueunionWith

:: forall (x :: k). Typeable x => f x -> f x -> f x
-> TypeRepMap f
-> TypeRepMap f
-> TypeRepMap f

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

Constructors

WrapTypeable :: Typeable a => f a -> WrapTypeable f

Instances1Show

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