Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
singletons Data.Singletons No documentation available.
-
singletons Data.Singletons.Decide Witness for a
newtype
POP (f :: k -> Type) (xss :: [[k]])sop-core Data.SOP A product of products. This is a 'newtype' for an NP of an NP. The elements of the inner products are applications of the parameter f. The type POP is indexed by the list of lists that determines the lengths of both the outer and all the inner products, as well as the types of all the elements of the inner products. A POP is reminiscent of a two-dimensional table (but the inner lists can all be of different length). In the context of the SOP approach to generic programming, a POP is useful to represent information that is available for all arguments of all constructors of a datatype.
POP :: NP (NP f) xss -> POP (f :: k -> Type) (xss :: [[k]])sop-core Data.SOP No documentation available.
type family
Prod (h :: k -> Type -> l -> Type) :: k -> Type -> l -> Typesop-core Data.SOP Maps a structure containing sums to the corresponding product structure.
-
sop-core Data.SOP Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.
>>> Proxy :: Proxy (Void, Int -> Int) Proxy
Proxy can even hold types of higher kinds,>>> Proxy :: Proxy Either Proxy
>>> Proxy :: Proxy Functor Proxy
>>> Proxy :: Proxy complicatedStructure Proxy
-
sop-core Data.SOP No documentation available.
type family
Prod (h :: k -> Type -> l -> Type) :: k -> Type -> l -> Typesop-core Data.SOP.Classes Maps a structure containing sums to the corresponding product structure.
newtype
POP (f :: k -> Type) (xss :: [[k]])sop-core Data.SOP.NP A product of products. This is a 'newtype' for an NP of an NP. The elements of the inner products are applications of the parameter f. The type POP is indexed by the list of lists that determines the lengths of both the outer and all the inner products, as well as the types of all the elements of the inner products. A POP is reminiscent of a two-dimensional table (but the inner lists can all be of different length). In the context of the SOP approach to generic programming, a POP is useful to represent information that is available for all arguments of all constructors of a datatype.
POP :: NP (NP f) xss -> POP (f :: k -> Type) (xss :: [[k]])sop-core Data.SOP.NP No documentation available.