Methods
_TypeError ∷ Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source #
_KindMismatch ∷ Prism' (Error uni fun ann) (ann, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source #
_TypeMismatch ∷ Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source #
_TyNameMismatch ∷ Prism' (Error uni fun ann) (ann, TyName, TyName) Source #
_NameMismatch ∷ Prism' (Error uni fun ann) (ann, Name, Name) Source #
_FreeTypeVariableE ∷ Prism' (Error uni fun ann) (ann, TyName) Source #
_FreeVariableE ∷ Prism' (Error uni fun ann) (ann, Name) Source #
_UnknownBuiltinFunctionE ∷ Prism' (Error uni fun ann) (ann, fun) Source #