Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Types

Synopsis

Documentation

Arguments used for pretty-printing terms

Constructors

Fields

ppReplace :: [(Text, Text)]
A list of pairs (search, rep). If any operator starts with search for some element in the list, during the printing the operator is printed with the corresponding rep in place of search.
ppInfixOps :: [(Text, Text)]
A list of pairs (search, rep). If any operator matches search, then it's corresponding term is printed in infix style with operator rep.
ppCustom :: MetaTerm -> Maybe Text
Used to override printing for some terms. When ppCustom m = Just s, then m be printed as s.

Constructors

Instances details

Generic Relation Source #
Instance details Defined in Language.REST.Types Associated Types type Rep Relation :: Type -> Type # Methods from :: Relation -> Rep Relation x # to :: Rep Relation x -> Relation #
Show Relation Source #
Instance details Defined in Language.REST.Types Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #
Eq Relation Source #
Instance details Defined in Language.REST.Types Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Hashable Relation Source #
Instance details Defined in Language.REST.Types Methods hashWithSalt :: Int -> Relation -> Int # hash :: Relation -> Int #
type Rep Relation Source #
Instance details Defined in Language.REST.Types type Rep Relation = D1 ('MetaData "Relation" "Language.REST.Types" "rest-rewrite-0.4.1-nnmMncO1JP25mfUNet9Kl" 'False) (C1 ('MetaCons "GT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EQ" 'PrefixI 'False) (U1 :: Type -> Type)))