Moduletyperep-map-0.7.0.0

Data.TypeRepMap.Internal

Synopsis

value adjust
value alter
value anyToTypeRep
value cachedBinarySearch
value calcFp
value delete
value deleteFirst
value empty
value fromAny
value fromSortedList
value fromSortedTriples
value fromTriples
value fst3
value generateOrderMapping
value hoist
value hoistA
value hoistWithKey
value insert
value intersection
value intersectionWith
value invariantCheck
value keys
value keysWith
value lookup
value member
value nubByFst
value one
value size
value toAny
value toFingerprints
value toListWith
value toSortedTriples
value toTriples
value typeFp
value union
value unionWith
type ArgKindOf
type KindOf
data TypeRepMap
data WrapTypeable

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