Hoogle Search

Within LTS Haskell 24.61 (ghc-9.10.3)

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

Exact lookup

1. asList :: ([SExpr t] -> Either String a) -> SExpr t -> Either String a

   s-cargot	Data.SCargot.Repr.Basic

   Parse an arbitrary-length list using the provided function.

   >>> let go xs = concat <$> mapM fromAtom xs
   
   >>> asList go (A "el" ::: A "eph" ::: A "ant" ::: Nil)
   Right "elephant"
   
   >>> asList go (A "el" ::: A "eph" ::: A "ant")
   Left "asList: expected list; found dotted list of length 3"
   

2. fromList :: (SExpr t -> Either String a) -> SExpr t -> Either String [a]

   s-cargot	Data.SCargot.Repr.Basic

   Utility function for parsing a list of things.

3. RSList :: [RichSExpr atom] -> RichSExpr atom

   s-cargot	Data.SCargot.Repr.Rich

   No documentation available.

4. asList :: ([RichSExpr t] -> Either String a) -> RichSExpr t -> Either String a

   s-cargot	Data.SCargot.Repr.Rich

   Parse an arbitrary-length list using the provided function.

   >>> let go xs = concat <$> mapM fromAtom xs
   
   >>> asList go (L [A "el", A "eph", A "ant"])
   Right "elephant"
   
   >>> asList go (DL [A "el", A "eph"] "ant")
   Left "asList: expected list; found dotted list"
   

5. fromList :: (RichSExpr t -> Either String a) -> RichSExpr t -> Either String [a]

   s-cargot	Data.SCargot.Repr.Rich

   Utility function for parsing a proper list of things.

   >>> fromList fromAtom (L [A "this", A "that", A "the-other"])
   Right ["this","that","the-other"]
   
   >>> fromList fromAtom (DL [A "this", A "that"] "the-other"])
   Left "asList: expected proper list; found dotted list"
   

6. WFSList :: [WellFormedSExpr atom] -> WellFormedSExpr atom

   s-cargot	Data.SCargot.Repr.WellFormed

   No documentation available.

7. asList :: ([WellFormedSExpr t] -> Either String a) -> WellFormedSExpr t -> Either String a

   s-cargot	Data.SCargot.Repr.WellFormed

   Parse an arbitrary-length list using the provided function.

   >>> let go xs = concat <$> mapM fromAtom xs
   
   >>> asList go (L [A "el", A "eph", A "ant"])
   Right "elephant"
   
   >>> asList go (A "pachyderm")
   Left "asList: expected list; found atom"
   

8. fromList :: (WellFormedSExpr t -> Either String a) -> WellFormedSExpr t -> Either String [a]

   s-cargot	Data.SCargot.Repr.WellFormed

   Utility function for parsing a list of things.

   >>> fromList fromAtom (L [A "this", A "that", A "the-other"])
   Right ["this","that","the-other"]
   
   >>> fromList fromAtom (A "pachyderm")
   Left "asList: expected proper list; found dotted list"
   

9. KList :: Kind -> Kind

   sbv	Data.SBV

   No documentation available.

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

Page 171 of many | Previous | Next