Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

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

package streams

Various Haskell 2010 stream comonads Various Haskell 2010 stream comonads. * Data.Stream.Future provides a coinductive anti-causal stream, or non-empty ZipList. The comonad provides access to only the tail of the stream. Like a conventional ZipList, this is not a monad.
```
data Future a = Last a | a :< Future a
```
- Data.Stream.Future.Skew provides a non-empty skew-binary random-access-list with the semantics of Data.Stream.Future. As with Data.Stream.Future this stream is not a Monad, since the Applicative instance zips streams of potentially differing lengths. The random-access-list structure provides a number of operations logarithmic access time, but makes Data.Stream.Future.Skew.cons less productive. Where applicable Data.Stream.Infinite.Skew may be more efficient, due to a lazier and more efficient Applicative instance.
- Data.Stream.Infinite provides a coinductive infinite anti-causal stream. The Comonad provides access to the tail of the stream and the Applicative zips streams together. Unlike Future, infinite stream form a Monad. The monad diagonalizes the Stream, which is consistent with the behavior of the Applicative, and the view of a Stream as a isomorphic to the reader monad from the natural numbers. Being infinite in length, there is no Alternative instance.
```
data Stream a = a :< Stream a
```
- Data.Stream.Infinite.Skew provides an infinite skew-binary random-access-list with the semantics of Data.Stream.Infinite Since every stream is infinite, the Applicative instance can be considerably less strict than the corresponding instance for Data.Stream.Future.Skew and performs asymptotically better.
- Data.Stream.Infinite.Functional.Zipper provides a bi-infinite sequence, represented as a pure function with an accumulating parameter added to optimize moving the current focus.
```
data Zipper a = !Integer :~ (Integer -> a)
```
- Data.Stream.Supply provides a comonadic supply of unique values, which are generated impurely as the tree is explored.
package strict-lens

Lenses for types in strict package Lenses for types in strict package.
package strict-tuple

Strict tuples Strict tuples.
package strict-wrapper

Lightweight strict types Lightweight, zero-cost, strict versions of basic data types
package stringprep

Implements the "StringPrep" algorithm Implements the StringPrep algorithm
package strongweak

Convert between strong and weak representations of types Please see README.md.
package structs

Strict GC'd imperative object-oriented programming with cheap pointers. This project is an experiment with a small GC'd strict mutable imperative universe with cheap pointers inside of the GHC runtime system.
package stylish-haskell

Haskell code prettifier A Haskell code prettifier. For more information, see: https://github.com/haskell/stylish-haskell/blob/master/README.markdown
package sundown

Bindings to the sundown markdown library Bindings to GitHub's C markdown library: https://github.com/vmg/sundown. The Haskell code is in the public domain. For sundown's license, refer to its GitHub page.
package svg-tree

SVG file loader and serializer svg-tree provides types representing a SVG document, and allows to load and save it. The types definition are aimed at rendering, so they are rather comple. For simpler SVG document building, look after `lucid-svg`. To render an svg document you can use the `rasterific-svg` package

Page 250 of many | Previous | Next