Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

  1. liftPFormatList2 :: PPrint2 f => (Int -> a -> Doc ann) -> ([a] -> Doc ann) -> (Int -> b -> Doc ann) -> ([b] -> Doc ann) -> [f a b] -> Doc ann

    grisette Grisette.Internal.Core.Data.Class.PPrint

    Lift two pretty-printers to list of values with binary type constructors.

  2. pformatList :: PPrint a => [a] -> Doc ann

    grisette Grisette.Internal.Core.Data.Class.PPrint

    No documentation available.

  3. pformatList1 :: (PPrint1 f, PPrint a) => [f a] -> Doc ann

    grisette Grisette.Internal.Core.Data.Class.PPrint

    Lift the standard pretty-printer (pformatPrec, pformatList) to list of values with unary type constructors.

  4. pformatList2 :: (PPrint2 f, PPrint a, PPrint b) => [f a b] -> Doc ann

    grisette Grisette.Internal.Core.Data.Class.PPrint

    Lift the standard pretty-printer (pformatPrec, pformatList) to list of values with binary type constructors.

  5. toGuardedList :: UnionView u => u a -> [(SymBool, a)]

    grisette Grisette.Internal.Core.Data.Class.UnionView

    Convert the union to a guarded list. 

    >>> toGuardedList (mrgIf "a" (return 1) (mrgIf "b" (return 2) (return 3)) :: Union Integer)
[(a,1),((&& b (! a)),2),((! (|| b a)),3)]

  6. fromList :: (Hashable k, Ord k) => [(k, a)] -> Map k a

    hashmap Data.HashMap

    Create a map from a list of key/value pairs.

  7. fromListWith :: (Hashable k, Ord k) => (a -> a -> a) -> [(k, a)] -> Map k a

    hashmap Data.HashMap

    Create a map from a list of key/value pairs with a combining function.

  8. fromListWithKey :: (Hashable k, Ord k) => (k -> a -> a -> a) -> [(k, a)] -> Map k a

    hashmap Data.HashMap

    Build a map from a list of key/value pairs with a combining function.

  9. toList :: Map k a -> [(k, a)]

    hashmap Data.HashMap

    Convert the map to a list of key/value pairs.

  10. fromList :: (Hashable a, Ord a) => [a] -> Set a

    hashmap Data.HashSet

    Create a set from a list of elements.

Page 200 of many | Previous | Next