haskus-utils-types-1.5: Haskus types utility modules

Safe HaskellNone
LanguageHaskell2010

Haskus.Utils.Types

Description

Type-level utils

Synopsis

Documentation

module Haskus.Utils.Types.Constraint

module Haskus.Utils.Types.Proxy

module Haskus.Utils.Types.List

module Haskus.Utils.Types.Bool

module Haskus.Utils.Types.Error

module Haskus.Utils.Types.Symbol

module Haskus.Utils.Types.Nat

type Type = Type #

The kind of types with values. For example Int :: Type.