DDF.Map

Documentation

class Ord x => Ord x where

Minimal complete definition

diffOrd

Methods

diffOrd :: Proxy (v, x) -> Dict (Ord (DiffType v x))

Instances

Ord Double

Methods

diffOrd :: Proxy * (v, Double) -> Dict (Ord (DiffType v Double))

Ord Float

Methods

diffOrd :: Proxy * (v, Float) -> Dict (Ord (DiffType v Float))

Ord ()

Methods

diffOrd :: Proxy * (v, ()) -> Dict (Ord (DiffType v ()))

Ord a => Ord [a]

Methods

diffOrd :: Proxy * (v, [a]) -> Dict (Ord (DiffType v [a]))

Ord l => Ord (Dual l r)

Methods

diffOrd :: Proxy * (v, Dual l r) -> Dict (Ord (DiffType v (Dual l r)))

class (Prod r, Option r) => Map r where

Minimal complete definition

empty, singleton, lookup, alter, mapMap

Methods

empty :: r h (Map k a)

singleton :: r h (k -> a -> Map k a)

lookup :: Ord k => r h (k -> Map k a -> Maybe a)

alter :: Ord k => r h ((Maybe a -> Maybe a) -> k -> Map k a -> Map k a)

mapMap :: r h ((a -> b) -> Map k a -> Map k b)

Instances

Map Show

Methods

empty :: Show h (Map k a)

singleton :: Show h (k -> a -> Map k a)

lookup :: Ord k => Show h (k -> Map k a -> Maybe a)

alter :: Ord k => Show h ((Maybe a -> Maybe a) -> k -> Map k a -> Map k a)

mapMap :: Show h ((a -> b) -> Map k a -> Map k b)

Map Size

Methods

empty :: Size h (Map k a)

singleton :: Size h (k -> a -> Map k a)

lookup :: Ord k => Size h (k -> Map k a -> Maybe a)

alter :: Ord k => Size h ((Maybe a -> Maybe a) -> k -> Map k a -> Map k a)

mapMap :: Size h ((a -> b) -> Map k a -> Map k b)

Map UInt

Methods

empty :: UInt h (Map k a)

singleton :: UInt h (k -> a -> Map k a)

lookup :: Ord k => UInt h (k -> Map k a -> Maybe a)

alter :: Ord k => UInt h ((Maybe a -> Maybe a) -> k -> Map k a -> Map k a)

mapMap :: UInt h ((a -> b) -> Map k a -> Map k b)

(Unit r, Map r) => Map (UnLiftEnv r)

Methods

empty :: UnLiftEnv r h (Map k a)

singleton :: UnLiftEnv r h (k -> a -> Map k a)

lookup :: Ord k => UnLiftEnv r h (k -> Map k a -> Maybe a)

alter :: Ord k => UnLiftEnv r h ((Maybe a -> Maybe a) -> k -> Map k a -> Map k a)

mapMap :: UnLiftEnv r h ((a -> b) -> Map k a -> Map k b)

module DDF.Prod

module DDF.Option

Orphan instances

Eq l => Eq (Dual l r)

Methods

(==) :: Dual l r -> Dual l r -> Bool

(/=) :: Dual l r -> Dual l r -> Bool

Ord l => Ord (Dual l r)

Methods

compare :: Dual l r -> Dual l r -> Ordering

(<) :: Dual l r -> Dual l r -> Bool

(<=) :: Dual l r -> Dual l r -> Bool

(>) :: Dual l r -> Dual l r -> Bool

(>=) :: Dual l r -> Dual l r -> Bool

max :: Dual l r -> Dual l r -> Dual l r

min :: Dual l r -> Dual l r -> Dual l r