Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Auxiliary definitions for finding a type in a type-level list.
Documentation
class FindElem x xs where Source #
Proof that x
is an element of the type-level list xs
Instances
(TypeError (('Text "Cannot unify effect types." :$$: ('Text "Unhandled effect: " :<>: 'ShowType x)) :$$: 'Text "Perhaps check the type of effectful computation and the sequence of handlers for concordance?") :: Constraint) => FindElem (x :: k1) ('[] :: [k2]) Source # | |
FindElem x xs => FindElem (x :: k) (x' ': xs :: [a]) Source # | |
FindElem (x :: a) (x ': xs :: [a]) Source # | |
FindElem x2 env => FindElem (x2 :: k) ((x' := a2) ': env :: [Assign x1 a1]) Source # | |
FindElem (x2 :: x1) ((x2 := a2) ': env :: [Assign x1 a1]) Source # | |