Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Moduletyperep-map-0.7.0.0

Data.TypeRepMap.Internal

4 types
36 values

Packagetyperep-map-0.7.0.0
Exports40
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

valueanyToTypeRep :: Any -> TypeRep f

valuecachedBinarySearch

valuecalcFp :: Typeable a => Fingerprint

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

valuedeleteFirst :: (a -> Bool) -> [a] -> [a]

valueempty :: TypeRepMap f

valuefromAny :: Any -> f a

valuefromSortedList :: [a] -> [a]

valuefromSortedTriples :: [(Fingerprint, Any, Any)] -> TypeRepMap f

valuefromTriples :: [(Fingerprint, Any, Any)] -> TypeRepMap f

valuefst3 :: (a, b, c) -> a

valuegenerateOrderMapping :: Int -> [Int]

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

valueinvariantCheck :: TypeRepMap f -> Bool

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

valuenubByFst :: Eq a => [(a, b, c)] -> [(a, b, c)]

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

valuesize :: TypeRepMap f -> Int

valuetoAny :: f a -> Any

valuetoFingerprints :: TypeRepMap f -> [Fingerprint]

valuetoListWith

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

valuetoSortedTriples :: TypeRepMap f -> [(Fingerprint, Any, Any)]

valuetoTriples :: TypeRepMap f -> [(Fingerprint, Any, Any)]

valuetypeFp :: Typeable a => Fingerprint

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

typetype ArgKindOf (f :: k -> l) = k

typetype KindOf (a :: k) = k

datadata TypeRepMap (f :: k -> Type)

Constructors

TypeRepMap
- fingerprintAs :: !PrimArray Word64
- fingerprintBs :: !PrimArray Word64
- trAnys :: !Array Any
- trKeys :: !Array Any

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