Language.REST.Types

Documentation

prettyPrint :: ToMetaTerm a => PPArgs -> a -> String

data PPArgs

Constructors

PPArgs

Fields

• ppReplace :: [(Text, Text)]
• ppInfixOps :: [(Text, Text)]
• ppCustom :: MetaTerm -> Maybe Text

data Relation

Constructors

GT

GTE

EQ

Instances

Eq Relation

Defined in Language.REST.Types

Methods

(==) :: Relation -> Relation -> Bool

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

Show Relation

Defined in Language.REST.Types

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

Generic Relation

Defined in Language.REST.Types

Associated Types

type Rep Relation :: Type -> Type

Methods

from :: Relation -> Rep Relation x

to :: Rep Relation x -> Relation

Hashable Relation

Defined in Language.REST.Types

Methods

hashWithSalt :: Int -> Relation -> Int

hash :: Relation -> Int

type Rep Relation

Defined in Language.REST.Types

type Rep Relation = D1 ('MetaData "Relation" "Language.REST.Types" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" '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)))

toOrderedSet :: (Eq a, Hashable a, Ord a) => HashSet a -> Set a