Data.Type.Coercion.Sub.Internal

This module exposes internals of Data.Type.Coercion.Sub.

Using this module allows to violate the premises Sub type provides. It is advisable not to import this module if there is another way, and to limit the amount of code accesible to this module.

Documentation

newtype Sub (a :: k) (b :: k)

Constructors

Sub

Fields

• getSub :: Coercion a b

Instances

Category (Sub :: k -> k -> Type)

Defined in Data.Type.Coercion.Sub.Internal

Methods

id :: Sub a a

(.) :: Sub b c -> Sub a b -> Sub a c

Eq (Sub a b)

Defined in Data.Type.Coercion.Sub.Internal

Methods

(==) :: Sub a b -> Sub a b -> Bool

(/=) :: Sub a b -> Sub a b -> Bool

Ord (Sub a b)

Defined in Data.Type.Coercion.Sub.Internal

Methods

compare :: Sub a b -> Sub a b -> Ordering

(<) :: Sub a b -> Sub a b -> Bool

(<=) :: Sub a b -> Sub a b -> Bool

(>) :: Sub a b -> Sub a b -> Bool

(>=) :: Sub a b -> Sub a b -> Bool

max :: Sub a b -> Sub a b -> Sub a b

min :: Sub a b -> Sub a b -> Sub a b

Show (Sub a b)

Defined in Data.Type.Coercion.Sub.Internal

Methods

showsPrec :: Int -> Sub a b -> ShowS

show :: Sub a b -> String

showList :: [Sub a b] -> ShowS