haskus-utils-types-1.6: Haskus types utility modules
Safe HaskellSafe-Inferred
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 LiftedRep #

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