Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
imp :: HasCallStack => a Source #
impossible :: HasCallStack => a Source #
impossibleTo :: HasCallStack => String -> a Source #
data ImpossibleM1 t1 Source #
Monad (ImpossibleM1 *) Source # | |
Functor (ImpossibleM1 *) Source # | |
Applicative (ImpossibleM1 *) Source # | |
Foldable (ImpossibleM1 *) Source # | |
Traversable (ImpossibleM1 *) Source # | |
Show (ImpossibleM1 k t1) Source # | |
data ImpossibleM2 t1 t2 Source #
Functor (ImpossibleM2 k * t1) Source # | |
Foldable (ImpossibleM2 k * t1) Source # | |
Traversable (ImpossibleM2 k * t1) Source # | |
Show (ImpossibleM2 k1 k2 t1 t2) Source # | |
data ImpossibleM3 t1 t2 t3 Source #
Functor (ImpossibleM3 k1 k2 * t1 t2) Source # | |
Foldable (ImpossibleM3 k1 k2 * t1 t2) Source # | |
Traversable (ImpossibleM3 k1 k2 * t1 t2) Source # | |
Show (ImpossibleM3 k1 k2 k3 t1 t2 t3) Source # | |
data ImpossibleM4 t1 t2 t3 t4 Source #
Functor (ImpossibleM4 k1 k2 k3 * t1 t2 t3) Source # | |
Foldable (ImpossibleM4 k1 k2 k3 * t1 t2 t3) Source # | |
Traversable (ImpossibleM4 k1 k2 k3 * t1 t2 t3) Source # | |
Show (ImpossibleM4 k1 k2 k3 k4 t1 t2 t3 t4) Source # | |
data ImpossibleM5 t1 t2 t3 t4 t5 Source #
Functor (ImpossibleM5 k1 k2 k3 k4 * t1 t2 t3 t4) Source # | |
Foldable (ImpossibleM5 k1 k2 k3 k4 * t1 t2 t3 t4) Source # | |
Traversable (ImpossibleM5 k1 k2 k3 k4 * t1 t2 t3 t4) Source # | |
Show (ImpossibleM5 k1 k2 k3 k4 k5 t1 t2 t3 t4 t5) Source # | |
data ImpossibleM6 t1 t2 t3 t4 t5 t6 Source #
Functor (ImpossibleM6 k1 k2 k3 k4 k5 * t1 t2 t3 t4 t5) Source # | |
Foldable (ImpossibleM6 k1 k2 k3 k4 k5 * t1 t2 t3 t4 t5) Source # | |
Traversable (ImpossibleM6 k1 k2 k3 k4 k5 * t1 t2 t3 t4 t5) Source # | |
Show (ImpossibleM6 k1 k2 k3 k4 k5 k6 t1 t2 t3 t4 t5 t6) Source # | |
data ImpossibleM7 t1 t2 t3 t4 t5 t6 t7 Source #
Functor (ImpossibleM7 k1 k2 k3 k4 k5 k6 * t1 t2 t3 t4 t5 t6) Source # | |
Foldable (ImpossibleM7 k1 k2 k3 k4 k5 k6 * t1 t2 t3 t4 t5 t6) Source # | |
Traversable (ImpossibleM7 k1 k2 k3 k4 k5 k6 * t1 t2 t3 t4 t5 t6) Source # | |
Show (ImpossibleM7 k1 k2 k3 k4 k5 k6 k7 t1 t2 t3 t4 t5 t6 t7) Source # | |
data ImpossibleM8 t1 t2 t3 t4 t5 t6 t7 t8 Source #
Functor (ImpossibleM8 k1 k2 k3 k4 k5 k6 k7 * t1 t2 t3 t4 t5 t6 t7) Source # | |
Foldable (ImpossibleM8 k1 k2 k3 k4 k5 k6 k7 * t1 t2 t3 t4 t5 t6 t7) Source # | |
Traversable (ImpossibleM8 k1 k2 k3 k4 k5 k6 k7 * t1 t2 t3 t4 t5 t6 t7) Source # | |
Show (ImpossibleM8 k1 k2 k3 k4 k5 k6 k7 k8 t1 t2 t3 t4 t5 t6 t7 t8) Source # | |
data ImpossibleM9 t1 t2 t3 t4 t5 t6 t7 t8 t9 Source #
Functor (ImpossibleM9 k1 k2 k3 k4 k5 k6 k7 k8 * t1 t2 t3 t4 t5 t6 t7 t8) Source # | |
Foldable (ImpossibleM9 k1 k2 k3 k4 k5 k6 k7 k8 * t1 t2 t3 t4 t5 t6 t7 t8) Source # | |
Traversable (ImpossibleM9 k1 k2 k3 k4 k5 k6 k7 k8 * t1 t2 t3 t4 t5 t6 t7 t8) Source # | |
Show (ImpossibleM9 k1 k2 k3 k4 k5 k6 k7 k8 k9 t1 t2 t3 t4 t5 t6 t7 t8 t9) Source # | |
type Imp = Impossible Source #
type ImpM = ImpossibleM1 Source #
type ImpM1 = ImpossibleM1 Source #
type ImpM2 = ImpossibleM2 Source #
type ImpM3 = ImpossibleM3 Source #
type ImpM4 = ImpossibleM4 Source #
type ImpM5 = ImpossibleM5 Source #
type ImpM6 = ImpossibleM6 Source #
type ImpM7 = ImpossibleM7 Source #
type ImpM8 = ImpossibleM8 Source #
type ImpM9 = ImpossibleM9 Source #