Type.Check.HM.Pretty

Pretty printer for types and terms.

Documentation

class IsVar v => HasPrefix v where

Class to querry fixity of infix operations.

Methods

getFixity :: v -> Maybe OpFix

Instances

HasPrefix Int

Defined in Type.Check.HM.Pretty

Methods

getFixity :: Int -> Maybe OpFix

HasPrefix String

Defined in Type.Check.HM.Pretty

Methods

getFixity :: String -> Maybe OpFix

HasPrefix Text

Defined in Type.Check.HM.Pretty

Methods

getFixity :: Text -> Maybe OpFix

class PrintCons v where

This class is useful to define the way to print special cases like constructors for tuples or lists.

Methods

printCons :: v -> [Doc ann] -> Doc ann

Instances

PrintCons Text

Defined in Type.Check.HM.Pretty

Methods

printCons :: Text -> [Doc ann] -> Doc ann

data OpFix

Defines fixity type and order of infix operation

Constructors

OpFix

Fields

• opFix'fixity :: !Fixity

  fixity type

• opFix'prec :: !Int

  fixity order

data Fixity

Infix operation can be left or right associative or associativity is not known.

Constructors

FixLeft

FixRight

FixNone

Instances

Eq Fixity

Defined in Type.Check.HM.Pretty

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Orphan instances

(HasPrefix v, PrintCons v, Pretty v) => Pretty (Type loc v)

Methods

pretty :: Type loc v -> Doc ann

prettyList :: [Type loc v] -> Doc ann

(Pretty v, PrintCons v, HasPrefix v) => Pretty (Signature loc v)

Methods

pretty :: Signature loc v -> Doc ann

prettyList :: [Signature loc v] -> Doc ann

(HasPrefix v, PrintCons v, Pretty v, Pretty prim) => Pretty (Term prim loc v)

Methods

pretty :: Term prim loc v -> Doc ann

prettyList :: [Term prim loc v] -> Doc ann