Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in type-kinds

Using an 'fmap-like' function on types of kind *

haskell type-kinds

Type instance that returns * -> *

haskell type-kinds

Pattern Matching on Promoted Types

haskell pattern-matching higher-kinded-types type-kinds

Kinds not conforming with type lambda

scala types existential-type type-kinds partially-applied-type

Couldn't match kind `*' against `#'

haskell ghc generic-programming template-haskell type-kinds

Deriving with higher-kinder type variables

haskell ghc type-kinds

Records in PureScript

records type-kinds purescript

What does * (star) or other kinds mean in an instance list of haddock

haskell haddock type-kinds polykinds

Defining Haskell FixF in scala

scala haskell types higher-kinded-types type-kinds

How to restrict type constructor to returning Ord types?

haskell type-kinds

Is this a higher kinded type in Scala?

scala types type-kinds

iand with different kind parameters using new gfortran version

fortran gfortran type-kinds

Application of type-level arguments of Kind other than Type

haskell type-kinds

Is polykinded type application injective?

haskell higher-kinded-types type-kinds polykinds

Expressing infinite kinds

haskell types type-families type-kinds

What is Constraint in kind signature

haskell type-kinds constraint-kinds

Can I implement this newtype as a composition of other types?

haskell category-theory type-theory type-kinds polykinds

Is it possible to get the Kind of a Type Constructor in Haskell?

haskell type-kinds

Undefined at the type level

haskell types undefined ghc type-kinds
Older Entries »