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

   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

   No documentation available.

3. sList :: SymVal a => String -> Symbolic (SList a)

   sbv	Data.SBV

   Declare a named SList NB. For a version which generalizes over the underlying monad, see sList

4. sList_ :: SymVal a => Symbolic (SList a)

   sbv	Data.SBV

   Declare an unnamed SList NB. For a version which generalizes over the underlying monad, see sList_

5. sLists :: SymVal a => [String] -> Symbolic [SList a]

   sbv	Data.SBV

   Declare a list of SLists NB. For a version which generalizes over the underlying monad, see sLists

6. CList :: [CVal] -> CVal

   sbv	Data.SBV.Dynamic

   List

7. KList :: Kind -> Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

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

   sbv	Data.SBV.Dynamic

   No documentation available.

9. CList :: [CVal] -> CVal

   sbv	Data.SBV.Internals

   List

10. KList :: Kind -> Kind

    sbv	Data.SBV.Internals

    No documentation available.

Page 171 of many | Previous | Next