Copyright	(c) 2023 Sayo Koyoneda
License	MPL-2.0 (see the file LICENSE)
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	None
Language	GHC2021

Data.Effect.TH

Description

Synopsis

makeEffect' :: MakeEffectConf -> (EffectOrder -> Info -> DataInfo -> EffClsInfo -> EffectClassConf -> Q [Dec]) -> [Name] -> [Name] -> Q [Dec]
noExtTemplate :: EffectOrder -> Info -> DataInfo -> EffClsInfo -> EffectClassConf -> Q [Dec]
makeEffect :: [Name] -> [Name] -> Q [Dec]
makeEffectF :: [Name] -> Q [Dec]
makeEffectH :: [Name] -> Q [Dec]
makeEffect_ :: [Name] -> [Name] -> Q [Dec]
makeEffectH_ :: [Name] -> Q [Dec]
module Data.Default
(&) :: a -> (a -> b) -> b
data EffectOrder
- = FirstOrder
- | HigherOrder
orderOf :: EffClsInfo -> EffectOrder
newtype MakeEffectConf = MakeEffectConf {
- unMakeEffectConf :: EffClsInfo -> Q EffectClassConf
}
alterEffectClassConf :: (EffectClassConf -> EffectClassConf) -> MakeEffectConf -> MakeEffectConf
alterEffectConf :: (EffectConf -> EffectConf) -> MakeEffectConf -> MakeEffectConf
data EffectClassConf = EffectClassConf {
- _confByEffect :: Name -> EffectConf
- _doesDeriveHFunctor :: Bool
- _doesGenerateLiftFOETypeSynonym :: Bool
- _doesGenerateLiftFOEPatternSynonyms :: Bool
}
confByEffect :: Lens' EffectClassConf (Name -> EffectConf)
doesDeriveHFunctor :: Lens' EffectClassConf Bool
doesGenerateLiftFOEPatternSynonyms :: Lens' EffectClassConf Bool
doesGenerateLiftFOETypeSynonym :: Lens' EffectClassConf Bool
data EffectConf = EffectConf {
- _normalSenderGenConf :: Maybe SenderFunctionConf
- _taggedSenderGenConf :: Maybe SenderFunctionConf
- _keyedSenderGenConf :: Maybe SenderFunctionConf
- _warnFirstOrderInHOE :: Bool
}
keyedSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
normalSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
taggedSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
warnFirstOrderInHOE :: Lens' EffectConf Bool
data SenderFunctionConf
senderFnName :: Lens' SenderFunctionConf String
doesGenerateSenderFnSignature :: Lens' SenderFunctionConf Bool
senderFnDoc :: Lens' SenderFunctionConf (Maybe String -> Q (Maybe String))
senderFnArgDoc :: Lens' SenderFunctionConf (Int -> Maybe String -> Q (Maybe String))
senderFnConfs :: Traversal' EffectConf SenderFunctionConf
deriveHFunctor :: (Infinite (Q Type) -> Q Type) -> DataInfo -> Q [Dec]
noDeriveHFunctor :: MakeEffectConf -> MakeEffectConf
generateLiftFOETypeSynonym :: MakeEffectConf -> MakeEffectConf
noGenerateLiftFOETypeSynonym :: MakeEffectConf -> MakeEffectConf
generateLiftFOEPatternSynonyms :: MakeEffectConf -> MakeEffectConf
noGenerateLiftFOEPatternSynonyms :: MakeEffectConf -> MakeEffectConf
noGenerateNormalSenderFunction :: MakeEffectConf -> MakeEffectConf
noGenerateTaggedSenderFunction :: MakeEffectConf -> MakeEffectConf
noGenerateKeyedSenderFunction :: MakeEffectConf -> MakeEffectConf
suppressFirstOrderInHigherOrderEffectWarning :: MakeEffectConf -> MakeEffectConf
noGenerateSenderFunctionSignature :: MakeEffectConf -> MakeEffectConf

Documentation

makeEffect' :: MakeEffectConf -> (EffectOrder -> Info -> DataInfo -> EffClsInfo -> EffectClassConf -> Q [Dec]) -> [Name] -> [Name] -> Q [Dec] Source #

noExtTemplate :: EffectOrder -> Info -> DataInfo -> EffClsInfo -> EffectClassConf -> Q [Dec] Source #

makeEffect :: [Name] -> [Name] -> Q [Dec] Source #

makeEffectF :: [Name] -> Q [Dec] Source #

makeEffectH :: [Name] -> Q [Dec] Source #

makeEffect_ :: [Name] -> [Name] -> Q [Dec] Source #

makeEffectH_ :: [Name] -> Q [Dec] Source #

module Data.Default

(&) :: a -> (a -> b) -> b infixl 1 #

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

This is a version of flip id, where id is specialized from a -> a to (a -> b) -> (a -> b) which by the associativity of (->) is (a -> b) -> a -> b. flipping this yields a -> (a -> b) -> b which is the type signature of &

Examples

Expand

>>> 5 & (+1) & show
"6"

>>> sqrt $ [1 / n^2 | n <- [1..1000]] & sum & (*6)
3.1406380562059946

Since: base-4.8.0.0

data EffectOrder Source #

An order of effect.

Constructors

FirstOrder
HigherOrder

Instances

Instances details

Show EffectOrder Source #
Instance details Defined in Data.Effect.TH.Internal Methods showsPrec :: Int -> EffectOrder -> ShowS # show :: EffectOrder -> String # showList :: [EffectOrder] -> ShowS #
Eq EffectOrder Source #
Instance details Defined in Data.Effect.TH.Internal Methods (==) :: EffectOrder -> EffectOrder -> Bool # (/=) :: EffectOrder -> EffectOrder -> Bool #
Ord EffectOrder Source #
Instance details Defined in Data.Effect.TH.Internal Methods compare :: EffectOrder -> EffectOrder -> Ordering # (<) :: EffectOrder -> EffectOrder -> Bool # (<=) :: EffectOrder -> EffectOrder -> Bool # (>) :: EffectOrder -> EffectOrder -> Bool # (>=) :: EffectOrder -> EffectOrder -> Bool # max :: EffectOrder -> EffectOrder -> EffectOrder # min :: EffectOrder -> EffectOrder -> EffectOrder #

orderOf :: EffClsInfo -> EffectOrder Source #

newtype MakeEffectConf Source #

Constructors

MakeEffectConf
Fields unMakeEffectConf :: EffClsInfo -> Q EffectClassConf

Instances

Instances details

Default MakeEffectConf Source #
Instance details Defined in Data.Effect.TH.Internal Methods def :: MakeEffectConf #

alterEffectClassConf :: (EffectClassConf -> EffectClassConf) -> MakeEffectConf -> MakeEffectConf Source #

alterEffectConf :: (EffectConf -> EffectConf) -> MakeEffectConf -> MakeEffectConf Source #

data EffectClassConf Source #

Constructors

EffectClassConf
Fields _confByEffect :: Name -> EffectConf _doesDeriveHFunctor :: Bool _doesGenerateLiftFOETypeSynonym :: Bool _doesGenerateLiftFOEPatternSynonyms :: Bool

Instances

Instances details

Default EffectClassConf Source #
Instance details Defined in Data.Effect.TH.Internal Methods def :: EffectClassConf #

confByEffect :: Lens' EffectClassConf (Name -> EffectConf) Source #

doesDeriveHFunctor :: Lens' EffectClassConf Bool Source #

doesGenerateLiftFOEPatternSynonyms :: Lens' EffectClassConf Bool Source #

doesGenerateLiftFOETypeSynonym :: Lens' EffectClassConf Bool Source #

data EffectConf Source #

Constructors

EffectConf
Fields _normalSenderGenConf :: Maybe SenderFunctionConf _taggedSenderGenConf :: Maybe SenderFunctionConf _keyedSenderGenConf :: Maybe SenderFunctionConf _warnFirstOrderInHOE :: Bool