type family PHANTOM :: k
This type family is always stuck. It must be used in the context of
te.
A meta-variable for marking which argument should be a phantom when
working with UnlessPhantom.
PHANTOM is polykinded and can be used in several settings.
See UnlessPhantom for examples.
type family PrettyPrintList (vs :: [k]) :: ErrorMessage
Pretty print a list.
>>> :show_error PrettyPrintList '[Bool]
...
... 'Bool'
...
>>> :show_error PrettyPrintList '[1, 2]
...
... '1', and '2'
...
>>> :show_error PrettyPrintList '["hello", "world", "cool"]
...
... "hello", "world", and "cool"
...
data Pure (b :: a) (c :: a)
No documentation available.
module Data.TypeLevel.List.Push
No documentation available.
type family Push10 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (abcdefghijs :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj])
No documentation available.
type family Push11 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (abcdefghijks :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk])
No documentation available.
type family Push12 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (abcdefghijkls :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl])
No documentation available.
type family Push13 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (abcdefghijklms :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km])
No documentation available.
type family Push14 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (abcdefghijklmns :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km], [kn])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km], [kn])
No documentation available.
type family Push15 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (abcdefghijklmnos :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km], [kn], [ko])) :: ([ka], [kb], [kc], [kd], [ke], [kf], [kg], [kh], [ki], [kj], [kk], [kl], [km], [kn], [ko])
No documentation available.
