haskus-utils-types-1.5.1: 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 lifted values. For example Int :: Type.