Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.ConcreteOC

Documentation

newtype ConcreteOC Source #

Constructors

ConcreteOC (Set (WQO Op))

Instances

Instances details

Generic ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC Associated Types type Rep ConcreteOC :: Type -> Type # Methods from :: ConcreteOC -> Rep ConcreteOC x # to :: Rep ConcreteOC x -> ConcreteOC #
Show ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC Methods showsPrec :: Int -> ConcreteOC -> ShowS # show :: ConcreteOC -> String # showList :: [ConcreteOC] -> ShowS #
Eq ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC Methods (==) :: ConcreteOC -> ConcreteOC -> Bool # (/=) :: ConcreteOC -> ConcreteOC -> Bool #
Ord ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC Methods compare :: ConcreteOC -> ConcreteOC -> Ordering # (<) :: ConcreteOC -> ConcreteOC -> Bool # (<=) :: ConcreteOC -> ConcreteOC -> Bool # (>) :: ConcreteOC -> ConcreteOC -> Bool # (>=) :: ConcreteOC -> ConcreteOC -> Bool # max :: ConcreteOC -> ConcreteOC -> ConcreteOC # min :: ConcreteOC -> ConcreteOC -> ConcreteOC #
Hashable ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC Methods hashWithSalt :: Int -> ConcreteOC -> Int # hash :: ConcreteOC -> Int #
type Rep ConcreteOC Source #
Instance details Defined in Language.REST.ConcreteOC type Rep ConcreteOC = D1 ('MetaData "ConcreteOC" "Language.REST.ConcreteOC" "rest-rewrite-0.4.1-nnmMncO1JP25mfUNet9Kl-testlib" 'True) (C1 ('MetaCons "ConcreteOC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (WQO Op)))))

concreteOC :: Monad m => Set Op -> OCAlgebra ConcreteOC RuntimeTerm m Source #