Hoogle Search
Within LTS Haskell 24.62 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
grisette Grisette.Internal.Core.Data.Class.PPrint Generic liftPFormatList function.
genericPFormatList :: (Generic a, GPPrint Arity0 (Rep a)) => [a] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint Generic pformatList function.
gpformatList :: (GPPrint arity f, HasCallStack) => PPrintArgs arity a ann -> [f a] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint No documentation available.
liftPFormatList :: PPrint1 f => (Int -> a -> Doc ann) -> ([a] -> Doc ann) -> [f a] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint Lift a pretty-printer to list of values with unary type constructors.
-
grisette Grisette.Internal.Core.Data.Class.PPrint Lift two pretty-printers to list of values with binary type constructors.
pformatList :: PPrint a => [a] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint No documentation available.
pformatList1 :: (PPrint1 f, PPrint a) => [f a] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint Lift the standard pretty-printer (pformatPrec, pformatList) to list of values with unary type constructors.
pformatList2 :: (PPrint2 f, PPrint a, PPrint b) => [f a b] -> Doc anngrisette Grisette.Internal.Core.Data.Class.PPrint Lift the standard pretty-printer (pformatPrec, pformatList) to list of values with binary type constructors.
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)]
fromList :: (Hashable k, Ord k) => [(k, a)] -> Map k ahashmap Data.HashMap Create a map from a list of key/value pairs.