giml-transform-0.1.0.0: Typing and transformations for Giml
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Giml.Rewrites.PreInfer.Errors

Documentation

data PreInferError Source #

Constructors

DuplicateNames [([Ann], [Var])] 

Instances

Instances details
Show PreInferError Source # 
Instance details

Defined in Language.Giml.Rewrites.PreInfer.Errors

Methods

showsPrec :: Int -> PreInferError -> ShowS #

show :: PreInferError -> String #

showList :: [PreInferError] -> ShowS #

Eq PreInferError Source # 
Instance details

Defined in Language.Giml.Rewrites.PreInfer.Errors

Methods

(==) :: PreInferError -> PreInferError -> Bool #

(/=) :: PreInferError -> PreInferError -> Bool #

Ord PreInferError Source # 
Instance details

Defined in Language.Giml.Rewrites.PreInfer.Errors

Methods

compare :: PreInferError -> PreInferError -> Ordering #

(<) :: PreInferError -> PreInferError -> Bool #

(<=) :: PreInferError -> PreInferError -> Bool #

(>) :: PreInferError -> PreInferError -> Bool #

(>=) :: PreInferError -> PreInferError -> Bool #

max :: PreInferError -> PreInferError -> PreInferError #

min :: PreInferError -> PreInferError -> PreInferError #