Safe Haskell	Safe
Language	Haskell2010

FreeC.LiftedIR.Effect

Description

This module contains a data type for effect constraints.

Synopsis

data Effect
- = Sharing
- | Normalform
- | Partiality
- | Tracing
- | NonDet

Documentation

data Effect Source #

An effect constraint.

These effects corresponds to type classes constraining the container used by the Free monad. The order of the constructors in this data type determines the order of constraints in the generated function declarations.

The Sharing effect is the first effect by convention. All other effects are in alphabetical order by default.

Constructors

Sharing
Normalform
Partiality
Tracing
NonDet

Instances

Eq Effect Source #
Instance details Defined in FreeC.LiftedIR.Effect Methods (==) :: Effect -> Effect -> Bool Source # (/=) :: Effect -> Effect -> Bool Source #
Ord Effect Source #
Instance details Defined in FreeC.LiftedIR.Effect Methods compare :: Effect -> Effect -> Ordering Source # (<) :: Effect -> Effect -> Bool Source # (<=) :: Effect -> Effect -> Bool Source # (>) :: Effect -> Effect -> Bool Source # (>=) :: Effect -> Effect -> Bool Source # max :: Effect -> Effect -> Effect Source # min :: Effect -> Effect -> Effect Source #
Read Effect Source #
Instance details Defined in FreeC.LiftedIR.Effect Methods readsPrec :: Int -> ReadS Effect Source # readList :: ReadS [Effect] Source # readPrec :: ReadPrec Effect Source # readListPrec :: ReadPrec [Effect] Source #
Show Effect Source #
Instance details Defined in FreeC.LiftedIR.Effect Methods showsPrec :: Int -> Effect -> ShowS Source # show :: Effect -> String Source # showList :: [Effect] -> ShowS Source #
FromJSON Effect	Restores an effect from the interface file.
Instance details Defined in FreeC.Environment.ModuleInterface.Decoder Methods parseJSON :: Value -> Parser Effect parseJSONList :: Value -> Parser [Effect]
ToJSON Effect
Instance details Defined in FreeC.Environment.ModuleInterface.Encoder Methods toJSON :: Effect -> Value toEncoding :: Effect -> Encoding toJSONList :: [Effect] -> Value toEncodingList :: [Effect] -> Encoding