Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. listValues :: Values -> [Value]

   registry	Data.Registry.Internal.Types

   Return values as a list

2. listArray :: (SymVal a, SymVal b) => [(a, b)] -> b -> SArray a b

   sbv	Data.SBV

   Turn a constant association-list and a default into a symbolic array.

3. listToListAt :: SymVal a => SList a -> SInteger -> SList a

   sbv	Data.SBV.List

   listToListAt l offset. List of length 1 at offset in l. Unspecified if index is out of bounds.

   >>> prove $ \(l1 :: SList Integer) l2 -> listToListAt (l1 ++ l2) (length l1) .== listToListAt l2 0
   Q.E.D.
   
   >>> sat $ \(l :: SList Word16) -> length l .>= 2 .&& listToListAt l 0 ./= listToListAt l (length l - 1)
   Satisfiable. Model:
   s0 = [0,64] :: [Word16]
   

4. listEq :: forall (m :: Type -> Type) a . (Monad m, Eq a) => [a] -> Parser a m [a]

   streamly-core	Streamly.Data.Parser

   Match the input sequence with the supplied list and return it if successful.

   >>> listEq = Parser.listEqBy (==)
   

5. listEqBy :: forall (m :: Type -> Type) a . Monad m => (a -> a -> Bool) -> [a] -> Parser a m [a]

   streamly-core	Streamly.Data.Parser

   Match the given sequence of elements using the given comparison function. Returns the original sequence if successful. Definition:

   >>> listEqBy cmp xs = Parser.streamEqBy cmp (Stream.fromList xs) *> Parser.fromPure xs
   

   Examples:

   >>> Stream.parse (Parser.listEqBy (==) "string") $ Stream.fromList "string"
   Right "string"
   

   >>> Stream.parse (Parser.listEqBy (==) "mismatch") $ Stream.fromList "match"
   Left (ParseError "streamEqBy: mismtach occurred")
   

6. listEq :: forall (m :: Type -> Type) a . (Monad m, Eq a) => [a] -> Parser a m [a]

   streamly-core	Streamly.Internal.Data.Parser

   Match the input sequence with the supplied list and return it if successful.

   >>> listEq = Parser.listEqBy (==)
   

7. listEqBy :: forall (m :: Type -> Type) a . Monad m => (a -> a -> Bool) -> [a] -> Parser a m [a]

   streamly-core	Streamly.Internal.Data.Parser

   Match the given sequence of elements using the given comparison function. Returns the original sequence if successful. Definition:

   >>> listEqBy cmp xs = Parser.streamEqBy cmp (Stream.fromList xs) *> Parser.fromPure xs
   

   Examples:

   >>> Stream.parse (Parser.listEqBy (==) "string") $ Stream.fromList "string"
   Right "string"
   

   >>> Stream.parse (Parser.listEqBy (==) "mismatch") $ Stream.fromList "match"
   Left (ParseError "streamEqBy: mismtach occurred")
   

8. listProductEq :: forall w (t :: [Type]) . (forall a . () => w a -> Dict (Eq a)) -> ListType w t -> Dict (Eq (ListProduct t))

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

9. listProductGetElement :: forall (list :: [Type]) t . ListElementType list t -> ListProduct list -> t

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

10. listProductModifyElement :: forall (list :: [Type]) t . ListElementType list t -> (t -> t) -> ListProduct list -> ListProduct list

    witness	Data.Type.Witness.Specific.List.Product

    No documentation available.

Page 27 of many | Previous | Next