Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. toMap :: Map k v -> Map k v

   dhall	Dhall.Map

   Convert a Dhall.Map.Map to a Data.Map.Strict.Map

   >>> toMap (fromList [("B",1),("A",2)]) -- Order is lost upon conversion
   fromList [("A",2),("B",1)]
   

2. hashMap :: (Eq k, Hashable k) => Decoder k -> Decoder v -> Decoder (HashMap k v)

   dhall	Dhall.Marshal.Decode

   Decode a HashMap from a toMap expression or generally a Prelude.Map.Type.

   >>> fmap (List.sort . HashMap.toList) (input (Dhall.hashMap strictText bool) "toMap { a = True, b = False }")
   [("a",True),("b",False)]
   
   >>> fmap (List.sort . HashMap.toList) (input (Dhall.hashMap strictText bool) "[ { mapKey = \"foo\", mapValue = True } ]")
   [("foo",True)]
   

   If there are duplicate mapKeys, later mapValues take precedence:

   >>> let expr = "[ { mapKey = 1, mapValue = True }, { mapKey = 1, mapValue = False } ]"
   
   >>> input (Dhall.hashMap natural bool) expr
   fromList [(1,False)]
   

3. pairFromMapEntry :: Decoder k -> Decoder v -> Decoder (k, v)

   dhall	Dhall.Marshal.Decode

   Decode a tuple from a Prelude.Map.Entry record.

   >>> input (pairFromMapEntry strictText natural) "{ mapKey = \"foo\", mapValue = 3 }"
   ("foo",3)
   

4. NakedMergeOrSomeOrToMap :: ApplicationExprInfo

   dhall	Dhall.Parser.Expression

   merge x y, Some x or toMap x, unparenthesized.

5. _toMap :: Parser ()

   dhall	Dhall.Parser.Token

   Parse the toMap keyword This corresponds to the toMap rule from the official grammar

6. HeterogenousRecordToMap :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

7. InvalidToMapRecordKind :: Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

8. InvalidToMapType :: Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

9. MissingToMapType :: TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

10. MustMapARecord :: Expr s a -> Expr s a -> TypeMessage s a

    dhall	Dhall.TypeCheck

    No documentation available.

Page 938 of many | Previous | Next