Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
colonnade Colonnade As the first argument to the Colonnade type constructor, this indictates that the columnar encoding has a header. This type is isomorphic to Identity but is given a new name to clarify its intent:
example :: Colonnade Headed Foo Text
The term example represents a columnar encoding of Foo in which the columns have headings. -
colonnade Colonnade No documentation available.
class
Headedness (h :: Type -> Type)colonnade Colonnade This class communicates that a container holds either zero elements or one element. Furthermore, all inhabitants of the type must hold the same number of elements. Both Headed and Headless have instances. The following law accompanies any instances:
maybe x (\f -> f (headednessPure x)) headednessContents == x todo: come up with another law that relates to Traversable
Consequently, there is no instance for Maybe, which cannot satisfy the laws since it has inhabitants which hold different numbers of elements. Nothing holds 0 elements and Just holds 1 element.-
colonnade Colonnade As the first argument to the Colonnade type constructor, this indictates that the columnar encoding does not have a header. This type is isomorphic to Proxy but is given a new name to clarify its intent:
example :: Colonnade Headless Foo Text
The term example represents a columnar encoding of Foo in which the columns do not have headings. -
colonnade Colonnade No documentation available.
-
colonnade Colonnade.Encode As the first argument to the Colonnade type constructor, this indictates that the columnar encoding has a header. This type is isomorphic to Identity but is given a new name to clarify its intent:
example :: Colonnade Headed Foo Text
The term example represents a columnar encoding of Foo in which the columns have headings. -
colonnade Colonnade.Encode No documentation available.
class
Headedness (h :: Type -> Type)colonnade Colonnade.Encode This class communicates that a container holds either zero elements or one element. Furthermore, all inhabitants of the type must hold the same number of elements. Both Headed and Headless have instances. The following law accompanies any instances:
maybe x (\f -> f (headednessPure x)) headednessContents == x todo: come up with another law that relates to Traversable
Consequently, there is no instance for Maybe, which cannot satisfy the laws since it has inhabitants which hold different numbers of elements. Nothing holds 0 elements and Just holds 1 element.-
colonnade Colonnade.Encode As the first argument to the Colonnade type constructor, this indictates that the columnar encoding does not have a header. This type is isomorphic to Proxy but is given a new name to clarify its intent:
example :: Colonnade Headless Foo Text
The term example represents a columnar encoding of Foo in which the columns do not have headings. -
colonnade Colonnade.Encode No documentation available.