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. type SList a = SBV [a]

   sbv	Data.SBV.Internals

   A symbolic list of items. Note that a symbolic list is not a list of symbolic items, that is, it is not the case that SList a = [a], unlike what one might expect following haskell lists/sequences. An SList is a symbolic value of its own, of possibly arbitrary but finite length, and internally processed as one unit as opposed to a fixed-length list of items. Note that lists can be nested, i.e., we do allow lists of lists of ... items.

2. isList :: HasKind a => a -> Bool

   sbv	Data.SBV.Internals

   No documentation available.

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

   sbv	Data.SBV.List

   subList s offset len is the sublist of s at offset offset with length len. This function is under-specified when the offset is outside the range of positions in s or len is negative or offset+len exceeds the length of s.

   >>> prove $ \(l :: SList Integer) i -> i .>= 0 .&& i .< length l .=> subList l 0 i ++ subList l i (length l - i) .== l
   Q.E.D.
   
   >>> sat  $ \i j -> subList [1..5] i j .== ([2..4] :: SList Integer)
   Satisfiable. Model:
   s0 = 1 :: Integer
   s1 = 3 :: Integer
   
   >>> sat  $ \i j -> subList [1..5] i j .== ([6..7] :: SList Integer)
   Unsatisfiable
   

4. fromList :: (Ord a, SymVal a) => [a] -> SSet a

   sbv	Data.SBV.Set

   Conversion from a list.

   >>> fromList ([] :: [Integer])
   {} :: {SInteger}
   
   >>> fromList [1,2,3]
   {1,2,3} :: {SInteger}
   
   >>> fromList [5,5,5,12,12,3]
   {3,5,12} :: {SInteger}
   

5. KList :: Kind -> Kind

   sbv	Data.SBV.Trans

   No documentation available.

6. type SList a = SBV [a]

   sbv	Data.SBV.Trans

   A symbolic list of items. Note that a symbolic list is not a list of symbolic items, that is, it is not the case that SList a = [a], unlike what one might expect following haskell lists/sequences. An SList is a symbolic value of its own, of possibly arbitrary but finite length, and internally processed as one unit as opposed to a fixed-length list of items. Note that lists can be nested, i.e., we do allow lists of lists of ... items.

7. isList :: HasKind a => a -> Bool

   sbv	Data.SBV.Trans

   No documentation available.

8. sList :: (SymVal a, MonadSymbolic m) => String -> m (SList a)

   sbv	Data.SBV.Trans

   Generalization of sList

9. sLists :: (SymVal a, MonadSymbolic m) => [String] -> m [SList a]

   sbv	Data.SBV.Trans

   Generalization of sLists

10. fromList :: Unbox a => [a] -> Array a

    streamly-core	Streamly.Data.Array

    Create an Array from a list. The list must be of finite size.

Page 172 of many | Previous | Next