impossible-1.0.0: Set of data and type definitions of impossible types. Impossible types are useful when declaring type classes / type families instances that should not be expanded by GHC until a specific type is provided in order to keep the types nice and readable.

Safe HaskellNone
LanguageHaskell2010

Data.Impossible

Documentation

data Impossible Source

Constructors

Impossible 

Instances

type ImpossibleM = ImpossibleM1 Source

type ImpossibleT = ImpossibleM2 Source

data ImpossibleM1 t1 Source

Constructors

ImpossibleM1 

Instances

data ImpossibleM2 t1 t2 Source

Constructors

ImpossibleM2 

Instances

Show (ImpossibleM2 k k t1 t2) Source 

data ImpossibleM3 t1 t2 t3 Source

Constructors

ImpossibleM3 

Instances

Show (ImpossibleM3 k k k t1 t2 t3) Source 

data ImpossibleM4 t1 t2 t3 t4 Source

Constructors

ImpossibleM4 

Instances

Show (ImpossibleM4 k k k k t1 t2 t3 t4) Source 

data ImpossibleM5 t1 t2 t3 t4 t5 Source

Constructors

ImpossibleM5 

Instances

Show (ImpossibleM5 k k k k k t1 t2 t3 t4 t5) Source 

type ImpossibleNat = 9223372036854775807 Source

impossible :: a Source

impossible' :: String -> a Source