Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. buildStrategyList :: forall a container . Functor container => MergingStrategy a -> container a -> StrategyList container

   grisette	Grisette.Internal.Core.Data.Class.Mergeable

   Helper function for building efficient merge strategy for list-like containers.

2. genericLiftPFormatList :: (Generic1 f, GPPrint Arity1 (Rep1 f)) => (Int -> a -> Doc ann) -> ([a] -> Doc ann) -> [f a] -> Doc ann

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

   Generic liftPFormatList function.

3. genericPFormatList :: (Generic a, GPPrint Arity0 (Rep a)) => [a] -> Doc ann

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

   Generic pformatList function.

4. gpformatList :: (GPPrint arity f, HasCallStack) => PPrintArgs arity a ann -> [f a] -> Doc ann

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

   No documentation available.

5. liftPFormatList :: PPrint1 f => (Int -> a -> Doc ann) -> ([a] -> Doc ann) -> [f a] -> Doc ann

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

   Lift a pretty-printer to list of values with unary type constructors.

6. 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.

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

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

   No documentation available.

8. 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.

9. 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.

10. 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)]
    

Page 199 of many | Previous | Next