Modulefcf-containers-0.8.2Haskell2010

Fcf.Data.NatMap

NatMap provides an interface to mapping keys (Nat's) to values, which is similar to IntMap given by the containers-package. Note that the this module still misses some of the methods that can be found in containers. If you need some, please do open up an issue or better, make a PR.

Many of the examples are from containers-package.

27 types

Packagefcf-containers-0.8.2
Exports27
LanguageHaskell2010
LicenceBSD-3-Clause
SourceNatMap.hs

NatMap type

1 declaration

newtypenewtype NatMap v

A type corresponding to IntMap in the containers.

The representation is based on type-level lists. Please, do not use that fact but rather use the exposed API. (We hope to change the internal data type to balanced tree similar to the one used in containers. See TODO.md.)

Constructors

NatMap [(Nat, v)]

Instances17KnownVal, Eval, …

KnownVal [(Int, val)] pairs => KnownVal (IntMap val) ('NatMap pairs)Defined in fcf-containers-0.8.2 · Fcf.Data.Reflect
type Eval Empty = 'NatMap '[]Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Adjust f k ('NatMap lst)) = 'NatMap (Eval (AdjustHelp f k lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Delete k ('NatMap lst)) = 'NatMap (Eval (Filter (Not <=< (TyEq k <=< Fst)) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Difference mp1 mp2) = Eval (FilterWithKey (DiffNotMem mp2) mp1)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Filter f ('NatMap lst)) = 'NatMap (Eval (Filter (f <=< Snd) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (FilterWithKey f ('NatMap lst)) = 'NatMap (Eval (Filter (Uncurry f) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (FromList lst) = 'NatMap lstDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Insert k v2 ('NatMap lst)) = If (Eval (Elem k =<< Map Fst lst)) ('NatMap lst) ('NatMap ('(k, v2) ': lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (InsertWith f k v2 ('NatMap lst)) = If (Eval (Elem k =<< Map Fst lst)) ('NatMap (Eval (Map (InsWithHelp f k v2) lst))) ('NatMap (Eval (lst ++ '['(k, v2)])))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Intersection mp1 mp2) = Eval (FilterWithKey (InterMem mp2) mp1)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Map f mp) = 'NatMap (Eval (Map (Second f) =<< Assocs mp))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (NatMapWithKey f mp) = 'NatMap (Eval (Map (Second (Uncurry f)) =<< (MWKhelp =<< Assocs mp)))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Partition f ('NatMap lst)) = Eval (PartitionHlp (Eval (Partition (f <=< Snd) lst)))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (PartitionHlp '(xs, ys)) = '('NatMap xs, 'NatMap ys)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Singleton k v2) = 'NatMap '['(k, v2)]Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Union ('NatMap lst1) ('NatMap lst2)) = 'NatMap (Eval (Foldr UComb lst1 lst2))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

Query

9 declarations

datadata Null (a :: NatMap v) (b :: Bool)

Null

Example

Example2 expressions

>>> :kind! Eval (Null =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Null =<< FromList '[ '(5,"a"), '(3,"b")]) :: Bool= 'False>>> :kind! Eval (Null =<< Empty)Eval (Null =<< Empty) :: Bool= 'True

Instances2Eval

type Eval (Null ('NatMap '[])) = 'TrueDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Null ('NatMap (_1 ': _2))) = 'FalseDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Size (a :: NatMap v) (b :: Nat)

Size

Example

Example1 expression

>>> :kind! Eval (Size =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Size =<< FromList '[ '(5,"a"), '(3,"b")]) :: TL.Natural= 2

Instances1Eval

type Eval (Size ('NatMap lst)) = Eval (Length lst)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Lookup (a :: Nat) (b :: NatMap v) (c :: Maybe v)

Lookup

Example

Example1 expression

>>> :kind! Eval (Lookup 5 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Lookup 5 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Maybe                                                         TL.Symbol= 'Just "a"

Example1 expression

>>> :kind! Eval (Lookup 7 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Lookup 7 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Maybe                                                         TL.Symbol= 'Nothing

Instances2Eval

type Eval (Lookup k ('NatMap '[])) = 'NothingDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap
type Eval (Lookup k ('NatMap ('(k1, v2) ': rst))) = Eval (If (Eval (TyEq k k1)) (Pure ('Just v2)) (Lookup k ('NatMap rst)))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Member (a :: Nat) (b :: NatMap v) (c :: Bool)

Member

Example

Example2 expressions

>>> :kind! Eval (Member 5 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Member 5 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Bool= 'True>>> :kind! Eval (Member 7 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Member 7 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Bool= 'False

Instances1Eval

type Eval (Member k mp) = Eval (Elem k =<< Keys mp)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata NotMember (a :: Nat) (b :: NatMap v) (c :: Bool)

NotMember

Example

Example2 expressions

>>> :kind! Eval (NotMember 5 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (NotMember 5 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Bool= 'False>>> :kind! Eval (NotMember 7 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (NotMember 7 =<< FromList '[ '(5,"a"), '(3,"b")]) :: Bool= 'True

Instances1Eval

type Eval (NotMember k mp) = Eval (Not =<< (Elem k =<< Keys mp))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Disjoint (a :: NatMap v) (b :: NatMap v) (c :: Bool)

Disjoint

Example

Example1 expression

>>> :kind! Eval (Disjoint (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")])))Eval (Disjoint (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")]))) :: Bool= 'False

Example2 expressions

>>> :kind! Eval (Disjoint (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(2,"B"), '(7,"C")])))Eval (Disjoint (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(2,"B"), '(7,"C")]))) :: Bool= 'True>>> :kind! Eval (Disjoint (Eval Empty) (Eval Empty))Eval (Disjoint (Eval Empty) (Eval Empty)) :: Bool= 'True

Instances1Eval

type Eval (Disjoint mp1 mp2) = Eval (Null =<< Intersection mp1 mp2)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Elems (a :: NatMap v) (b :: [v])

Elems

Example

Example2 expressions

>>> :kind! Eval (Elems =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Elems =<< FromList '[ '(5,"a"), '(3,"b")]) :: [TL.Symbol]= '["a", "b"]>>> :kind! Eval (Elems =<< Empty)Eval (Elems =<< Empty) :: [v]= '[]

Instances1Eval

type Eval (Elems ('NatMap lst)) = Eval (Map Snd lst)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Keys (a :: NatMap v) (b :: [Nat])

Keys

Example

Example2 expressions

>>> :kind! Eval (Keys =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Keys =<< FromList '[ '(5,"a"), '(3,"b")]) :: [TL.Natural]= '[5, 3]>>> :kind! Eval (Keys =<< Empty)Eval (Keys =<< Empty) :: [TL.Natural]= '[]

Instances1Eval

type Eval (Keys ('NatMap lst)) = Eval (Map Fst lst)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Assocs (a :: NatMap v) (b :: [(Nat, v)])

Assocs

Example

Example2 expressions

>>> :kind! Eval (Assocs =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Assocs =<< FromList '[ '(5,"a"), '(3,"b")]) :: [(TL.Natural,                                                       TL.Symbol)]= '[ '(5, "a"), '(3, "b")]>>> :kind! Eval (Assocs =<< Empty)Eval (Assocs =<< Empty) :: [(TL.Natural, v)]= '[]

Instances1Eval

type Eval (Assocs ('NatMap lst)) = lstDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap

Construction

5 declarations

datadata Empty (a :: NatMap v)

Empty

Example

Example1 expression

>>> :kind! (Eval Empty :: NatMap TL.Symbol)(Eval Empty :: NatMap TL.Symbol) :: NatMap TL.Symbol= 'NatMap '[]

Example1 expression

>>> :kind! (Eval Empty :: NatMap String)(Eval Empty :: NatMap String) :: NatMap [Char]= 'NatMap '[]

See also the other examples in this module.

Instances1Eval

type Eval Empty = 'NatMap '[]Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Singleton (a :: Nat) (b :: v) (c :: NatMap v)

Singleton

Example

Example1 expression

>>> :kind! Eval (Singleton 1 "haa")Eval (Singleton 1 "haa") :: NatMap TL.Symbol= 'NatMap '[ '(1, "haa")]

Instances1Eval

type Eval (Singleton k v2) = 'NatMap '['(k, v2)]Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Insert (a :: Nat) (b :: v) (c :: NatMap v) (d :: NatMap v)

Insert

Example

Example1 expression

>>> :kind! Eval (Insert 3 "hih" =<< FromList '[ '(1,"haa"), '(2,"hoo")])Eval (Insert 3 "hih" =<< FromList '[ '(1,"haa"), '(2,"hoo")]) :: NatMap                                                                   TL.Symbol= 'NatMap '[ '(3, "hih"), '(1, "haa"), '(2, "hoo")]

Instances1Eval

type Eval (Insert k v2 ('NatMap lst)) = If (Eval (Elem k =<< Map Fst lst)) ('NatMap lst) ('NatMap ('(k, v2) ': lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata InsertWith (a :: v -> v -> Exp v) (b :: Nat) (c :: v) (d :: NatMap v) (e :: NatMap v)

InsertWith

if old there, map

if no old, add

Example

Example1 expression

>>> :kind! Eval (InsertWith AppendSymbol 5 "xxx" =<< FromList '[ '(5,"a"), '(3,"b")])Eval (InsertWith AppendSymbol 5 "xxx" =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                                                TL.Symbol= 'NatMap '[ '(5, "xxxa"), '(3, "b")]

Example1 expression

>>> :kind! Eval (InsertWith AppendSymbol 7 "xxx" =<< FromList '[ '(5,"a"), '(3,"b")])Eval (InsertWith AppendSymbol 7 "xxx" =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                                                TL.Symbol= 'NatMap '[ '(5, "a"), '(3, "b"), '(7, "xxx")]

Example1 expression

>>> :kind! Eval (InsertWith AppendSymbol 7 "xxx" =<< Empty)Eval (InsertWith AppendSymbol 7 "xxx" =<< Empty) :: NatMap                                                      TL.Symbol= 'NatMap '[ '(7, "xxx")]

Instances1Eval

type Eval (InsertWith f k v2 ('NatMap lst)) = If (Eval (Elem k =<< Map Fst lst)) ('NatMap (Eval (Map (InsWithHelp f k v2) lst))) ('NatMap (Eval (lst ++ '['(k, v2)])))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Delete (a :: Nat) (b :: NatMap v) (c :: NatMap v)

Delete

Example

Example1 expression

>>> :kind! Eval (Delete 5 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Delete 5 =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                         TL.Symbol= 'NatMap '[ '(3, "b")]

Example1 expression

>>> :kind! Eval (Delete 7 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Delete 7 =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                         TL.Symbol= 'NatMap '[ '(5, "a"), '(3, "b")]

Example1 expression

>>> :kind! Eval (Delete 7 =<< Empty)Eval (Delete 7 =<< Empty) :: NatMap v= 'NatMap '[]

Instances1Eval

type Eval (Delete k ('NatMap lst)) = 'NatMap (Eval (Filter (Not <=< (TyEq k <=< Fst)) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

Combine

3 declarations

datadata Union (a :: NatMap v) (b :: NatMap v) (c :: NatMap v)

Union

Example

Example1 expression

>>> :kind! Eval (Union (Eval (FromList '[ '(5,"a"), '(3,"b")])) (Eval (FromList '[ '(5,"A"), '(7,"c")])) )Eval (Union (Eval (FromList '[ '(5,"a"), '(3,"b")])) (Eval (FromList '[ '(5,"A"), '(7,"c")])) ) :: NatMap                                                                                                     TL.Symbol= 'NatMap '[ '(7, "c"), '(5, "a"), '(3, "b")]

Instances1Eval

type Eval (Union ('NatMap lst1) ('NatMap lst2)) = 'NatMap (Eval (Foldr UComb lst1 lst2))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Difference (a :: NatMap v) (b :: NatMap v) (c :: NatMap v)

Difference

Example

Example1 expression

>>> :kind! Eval (Difference (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")])))Eval (Difference (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")]))) :: NatMap                                                                                                         TL.Symbol= 'NatMap '[ '(3, "a")]

Instances1Eval

type Eval (Difference mp1 mp2) = Eval (FilterWithKey (DiffNotMem mp2) mp1)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Intersection (a :: NatMap v) (b :: NatMap v) (c :: NatMap v)

Intersection

Example

Example1 expression

>>> :kind! Eval (Intersection (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")])))Eval (Intersection (Eval (FromList '[ '(3,"a"), '(5,"b")])) (Eval (FromList '[ '(5,"B"), '(7,"C")]))) :: NatMap                                                                                                           TL.Symbol= 'NatMap '[ '(5, "b")]

Instances1Eval

type Eval (Intersection mp1 mp2) = Eval (FilterWithKey (InterMem mp2) mp1)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

Modify

7 declarations

datadata Adjust (a :: v -> Exp v) (b :: Nat) (c :: NatMap v) (d :: NatMap v)

Adjust

Example

Example1 expression

>>> :kind! Eval (Adjust (AppendSymbol "new ") 5 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Adjust (AppendSymbol "new ") 5 =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                                               TL.Symbol= 'NatMap '[ '(5, "new a"), '(3, "b")]

Example1 expression

>>> :kind! Eval (Adjust (AppendSymbol "new ") 7 =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Adjust (AppendSymbol "new ") 7 =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                                               TL.Symbol= 'NatMap '[ '(5, "a"), '(3, "b")]

Example1 expression

>>> :kind! Eval (Adjust (AppendSymbol "new ") 7 =<< Empty)Eval (Adjust (AppendSymbol "new ") 7 =<< Empty) :: NatMap TL.Symbol= 'NatMap '[]

Instances1Eval

type Eval (Adjust f k ('NatMap lst)) = 'NatMap (Eval (AdjustHelp f k lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Map (a :: v -> Exp w) (b :: NatMap v) (c :: NatMap w)

Map

Example

Example1 expression

>>> :kind! Eval (Fcf.Data.NatMap.Map (AppendSymbol "x") =<< FromList '[ '(5,"a"), '(3,"b")])Eval (Fcf.Data.NatMap.Map (AppendSymbol "x") =<< FromList '[ '(5,"a"), '(3,"b")]) :: NatMap                                                                                       TL.Symbol= 'NatMap '[ '(5, "xa"), '(3, "xb")]

Instances1Eval

type Eval (Map f mp) = 'NatMap (Eval (Map (Second f) =<< Assocs mp))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata NatMapWithKey (a :: Nat -> v -> Exp w) (b :: NatMap v) (c :: NatMap w)

NatMapWithKey

Example

Instances1Eval

type Eval (NatMapWithKey f mp) = 'NatMap (Eval (Map (Second (Uncurry f)) =<< (MWKhelp =<< Assocs mp)))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Foldr (a :: v -> w -> Exp w) (b :: w) (c :: NatMap v) (d :: w)

Foldr

Fold the values in the map using the given right-associative binary operator, such that 'foldr f z == foldr f z . elems'.

Note: the order of values in NatMap is not well defined at the moment.

Example

Example1 expression

>>> :kind! Eval (Fcf.Data.NatMap.Foldr (+) 0  =<< (FromList '[ '(1,1), '(2,2)]))Eval (Fcf.Data.NatMap.Foldr (+) 0  =<< (FromList '[ '(1,1), '(2,2)])) :: TL.Natural= 3

Instances1Eval

type Eval (Foldr f w mp) = Eval (Foldr f w =<< Elems mp)Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Filter (a :: v -> Exp Bool) (b :: NatMap v) (c :: NatMap v)

Filter

Example

Example1 expression

>>> :kind! Eval (Filter ((>=) 35) =<< FromList '[ '(5,50), '(3,30)])Eval (Filter ((>=) 35) =<< FromList '[ '(5,50), '(3,30)]) :: NatMap                                                               TL.Natural= 'NatMap '[ '(3, 30)]

Instances1Eval

type Eval (Filter f ('NatMap lst)) = 'NatMap (Eval (Filter (f <=< Snd) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata FilterWithKey (a :: Nat -> v -> Exp Bool) (b :: NatMap v) (c :: NatMap v)

FilterWithKey

Example

Example1 expression

>>> :kind! Eval (FilterWithKey (>=) =<< FromList '[ '(3,5), '(6,4)])Eval (FilterWithKey (>=) =<< FromList '[ '(3,5), '(6,4)]) :: NatMap                                                               TL.Natural= 'NatMap '[ '(6, 4)]

Instances1Eval

type Eval (FilterWithKey f ('NatMap lst)) = 'NatMap (Eval (Filter (Uncurry f) lst))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata Partition (a :: v -> Exp Bool) (b :: NatMap v) (c :: (NatMap v, NatMap v))

Partition

Example

Example1 expression

>>> :kind! Eval (Partition ((>=) 35) =<< FromList '[ '(5,50), '(3,30)])Eval (Partition ((>=) 35) =<< FromList '[ '(5,50), '(3,30)]) :: (NatMap                                                                   TL.Natural,                                                                 NatMap TL.Natural)= '( 'NatMap '[ '(3, 30)], 'NatMap '[ '(5, 50)])

Instances1Eval

type Eval (Partition f ('NatMap lst)) = Eval (PartitionHlp (Eval (Partition (f <=< Snd) lst)))Defined in fcf-containers-0.8.2 · Fcf.Data.NatMap

List

2 declarations

datadata FromList (a :: [(Nat, v)]) (b :: NatMap v)

Use FromList to construct a NatMap from type-level list.

Example

Example1 expression

>>> :kind! Eval (FromList '[ '(1,"haa"), '(2,"hoo")])Eval (FromList '[ '(1,"haa"), '(2,"hoo")]) :: NatMap TL.Symbol= 'NatMap '[ '(1, "haa"), '(2, "hoo")]

Instances1Eval

type Eval (FromList lst) = 'NatMap lstDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap

datadata ToList (a :: NatMap v) (b :: [(Nat, v)])

ToList

Example

Example2 expressions

>>> :kind! Eval (ToList =<< FromList '[ '(5,"a"), '(3,"b")])Eval (ToList =<< FromList '[ '(5,"a"), '(3,"b")]) :: [(TL.Natural,                                                       TL.Symbol)]= '[ '(5, "a"), '(3, "b")]>>> :kind! Eval (ToList =<< Empty)Eval (ToList =<< Empty) :: [(TL.Natural, v)]= '[]

Instances1Eval

type Eval (ToList ('NatMap lst)) = lstDefined in fcf-containers-0.8.2 · Fcf.Data.NatMap