Modulecardano-data-1.3.1.0
Data.CanonicalMaps
Synopsis
- value canonicalInsert
- value canonicalMap
- value canonicalMapUnion
- value pointWise
- class CanonicalZero
- data Map
- Packagecardano-data-1.3.1.0
- Exports6
- LicenceApache-2.0
- SourceInternal.hs
Instances2CanonicalZero
CanonicalZero IntegerDefined in cardano-data-1.3.1.0 · Data.CanonicalMaps(Ord k, CanonicalZero v) => CanonicalZero (Map k v)Defined in cardano-data-1.3.1.0 · Data.CanonicalMaps
A Map from keys k to values a.
Instances103Bifoldable, Eq2, Ord2, Show2, NFData2, Hashable2, …
Bifoldable MapDefined in containers-0.8 · Data.Map.InternalEq2 MapDefined in containers-0.8 · Data.Map.InternalOrd2 MapDefined in containers-0.8 · Data.Map.InternalShow2 MapDefined in containers-0.8 · Data.Map.InternalNFData2 MapDefined in containers-0.8 · Data.Map.InternalHashable2 MapDefined in hashable-1.5.1.0 · Data.Hashable.ClassBiPolyMap MapDefined in mono-traversable-1.0.21.0 · Data.ContainersFoldableWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndexFunctorWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndexTraversableWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndexOrd k => SemialignWithIndex k (Map k)Defined in semialign-1.4 · Data.Semialign.InternalOrd k => ZipWithIndex k (Map k)Defined in semialign-1.4 · Data.Semialign.InternalFilterableWithIndex k (Map k)Defined in witherable-0.5 · WitherableWitherableWithIndex k (Map k)Defined in witherable-0.5 · WitherableOrd k => TraverseMax k (Map k)Defined in lens-5.3.6 · Control.Lens.TraversalOrd k => TraverseMin k (Map k)Defined in lens-5.3.6 · Control.Lens.Traversal(Lift k, Lift a) => Lift (Map k a)Defined in containers-0.8 · Data.Map.InternalPrettyDefaultBy config (Map k v) => PrettyBy config (Map k v)Defined in plutus-core-1.70.0.0 · PlutusCore.Pretty.Extra · orphanPrettyDefaultBy config [(k, v)] => DefaultPrettyBy config (Map k v)Defined in plutus-core-1.70.0.0 · PlutusCore.Pretty.Extra · orphanFunctor (Map k)Defined in containers-0.8 · Data.Map.InternalFoldable (Map k)Defined in containers-0.8 · Data.Map.InternalFolds in order of increasing key.
Traversable (Map k)Defined in containers-0.8 · Data.Map.InternalTraverses in order of increasing key.
Eq k => Eq1 (Map k)Defined in containers-0.8 · Data.Map.InternalOrd k => Ord1 (Map k)Defined in containers-0.8 · Data.Map.Internal(Ord k, Read k) => Read1 (Map k)Defined in containers-0.8 · Data.Map.InternalShow k => Show1 (Map k)Defined in containers-0.8 · Data.Map.InternalNFData k => NFData1 (Map k)Defined in containers-0.8 · Data.Map.Internal(Ord k, Arbitrary k) => Arbitrary1 (Map k)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.ArbitraryHashable k => Hashable1 (Map k)Defined in hashable-1.5.1.0 · Data.Hashable.ClassOrd k => Alt (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.AltOrd k => Apply (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.ClassA 'Map k' is not Applicative, but it is an instance of Apply
Ord k => Bind (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.ClassOrd k => Plus (Map k)Defined in semigroupoids-6.0.2 · Data.Functor.PlusOrd k => Align (Map k)Defined in semialign-1.4 · Data.Semialign.InternalOrd k => Semialign (Map k)Defined in semialign-1.4 · Data.Semialign.InternalOrd k => Unalign (Map k)Defined in semialign-1.4 · Data.Semialign.InternalOrd k => Unzip (Map k)Defined in semialign-1.4 · Data.Semialign.InternalOrd k => Zip (Map k)Defined in semialign-1.4 · Data.Semialign.InternalFilterable (Map k)Defined in witherable-0.5 · WitherableWitherable (Map k)Defined in witherable-0.5 · Witherable(FromJSONKey k, Ord k) => FromJSON1 (Map k)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSONToJSONKey k => ToJSON1 (Map k)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSONInvariant (Map k)Defined in invariant-0.6.5 · Data.Functor.Invariantfrom the
containerspackageOrd key => PolyMap (Map key)Defined in mono-traversable-1.0.21.0 · Data.ContainersThis instance uses the functions from Data.Map.Strict.
Ord k => IsList (Map k v)Defined in containers-0.8 · Data.Map.Internal(Eq k, Eq a) => Eq (Map k a)Defined in containers-0.8 · Data.Map.Internal(Data k, Data a, Ord k) => Data (Map k a)Defined in containers-0.8 · Data.Map.Internal(Ord k, Ord v) => Ord (Map k v)Defined in containers-0.8 · Data.Map.Internal(Ord k, Read k, Read e) => Read (Map k e)Defined in containers-0.8 · Data.Map.Internal(Show k, Show a) => Show (Map k a)Defined in containers-0.8 · Data.Map.InternalOrd k => Semigroup (Map k v)Defined in containers-0.8 · Data.Map.Internal(<>)= unionOrd k => Monoid (Map k v)Defined in containers-0.8 · Data.Map.Internalmempty= empty(NFData k, NFData a) => NFData (Map k a)Defined in containers-0.8 · Data.Map.Internal(Binary k, Binary e) => Binary (Map k e)Defined in binary-0.8.9.3 · Data.Binary.Class(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.ArbitraryWARNING: The same warning as for
Arbitrary (Set a)applies here.(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.Arbitrary(Ord a, Function a, Function b) => Function (Map a b)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.Function(Hashable k, Hashable v) => Hashable (Map k v)Defined in hashable-1.5.1.0 · Data.Hashable.Class(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON(ToJSON v, ToJSONKey k) => ToJSON (Map k v)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSONDefault (Map k v)Defined in data-default-0.8.0.2 · Data.Default.Internal(Ord k, Serialise k, Serialise v) => Serialise (Map k v)Defined in serialise-0.2.6.1 · Codec.Serialise.Class(Ord k, Finite k, Finite v) => Finite (Map k v)Defined in universe-base-1.1.4 · Data.Universe.Class(Ord k, Finite k, Universe v) => Universe (Map k v)Defined in universe-base-1.1.4 · Data.Universe.ClassExample2 expressions import qualified Data.Map as MapmapM_ print (universe :: [Map.Map Bool Bool])fromList []fromList [(True,False)]fromList [(False,False)]fromList [(True,True)]fromList [(False,False),(True,False)]fromList [(False,True)]fromList [(False,False),(True,True)]fromList [(False,True),(True,False)]fromList [(False,True),(True,True)]
(NoThunks k, NoThunks v) => NoThunks (Map k v)Defined in nothunks-0.3.1 · NoThunks.Class(Ord k, FromCBOR k, FromCBOR v) => FromCBOR (Map k v)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR(Ord k, ToCBOR k, ToCBOR v) => ToCBOR (Map k v)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR(HeapWords a, HeapWords b) => HeapWords (Map a b)Defined in heapwords-0.1.0.2 · Cardano.HeapWordsOrd k => At (Map k a)Defined in lens-5.3.6 · Control.Lens.AtOrd k => Ixed (Map k a)Defined in lens-5.3.6 · Control.Lens.AtAsEmpty (Map k a)Defined in lens-5.3.6 · Control.Lens.EmptyOrd k => Wrapped (Map k a)Defined in lens-5.3.6 · Control.Lens.Wrapped(FromField a, FromField b, Ord a) => FromNamedRecord (Map a b)Defined in cassava-0.5.4.1 · Data.Csv.Conversion(ToField a, ToField b, Ord a) => ToNamedRecord (Map a b)Defined in cassava-0.5.4.1 · Data.Csv.ConversionOrd k => HasKeysSet (Map k v)Defined in mono-traversable-1.0.21.0 · Data.ContainersOrd key => IsMap (Map key value)Defined in mono-traversable-1.0.21.0 · Data.ContainersThis instance uses the functions from Data.Map.Strict.
Ord k => SetContainer (Map k v)Defined in mono-traversable-1.0.21.0 · Data.ContainersThis instance uses the functions from Data.Map.Strict.
Ord k => GrowingAppend (Map k v)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoFoldable (Map k v)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoFunctor (Map k v)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversableMonoTraversable (Map k v)Defined in mono-traversable-1.0.21.0 · Data.MonoTraversable(Ord k, DecCBOR k, DecCBOR v) => DecCBOR (Map k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR(EncCBOR k, EncCBOR v) => EncCBOR (Map k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR(Ord k, CanonicalZero v) => CanonicalZero (Map k v)Defined in cardano-data-1.3.1.0 · Data.CanonicalMaps(t ~ Map k' a', Ord k) => Rewrapped (Map k a) tDefined in lens-5.3.6 · Control.Lens.WrappedOrd k => Rewrapped (Map k a) (MonoidalMap k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.MonoidalOrd k => Rewrapped (Map k a) (MonoidalMap k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.Monoidal.StrictOrd k => Rewrapped (MonoidalMap k a) (Map k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.MonoidalOrd k => Rewrapped (MonoidalMap k a) (Map k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.Monoidal.StrictNewtype (MonoidalMap k a) (Map k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.MonoidalNewtype (MonoidalMap k a) (Map k a)Defined in monoidal-containers-0.6.8.0 · Data.Map.Monoidal.Strictc ~ d => Each (Map c a) (Map d b) a bDefined in lens-5.3.6 · Control.Lens.Eachtype Item (Map k v) = (k, v)Defined in containers-0.8 · Data.Map.Internaltype Unwrapped (Map k a) = [(k, a)]Defined in lens-5.3.6 · Control.Lens.Wrappedtype Index (Map k a) = kDefined in lens-5.3.6 · Control.Lens.Attype IxValue (Map k a) = aDefined in lens-5.3.6 · Control.Lens.Attype BPMKeyConstraint Map key = Ord keyDefined in mono-traversable-1.0.21.0 · Data.Containerstype KeySet (Map k v) = Set kDefined in mono-traversable-1.0.21.0 · Data.Containerstype MapValue (Map key value) = valueDefined in mono-traversable-1.0.21.0 · Data.Containerstype ContainerKey (Map k v) = kDefined in mono-traversable-1.0.21.0 · Data.Containerstype Element (Map k v) = vDefined in mono-traversable-1.0.21.0 · Data.MonoTraversable