Copyright	(c) 2023 Yamada Ryo
License	MPL-2.0 (see the file LICENSE)
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
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]
class Default a where
- def :: a
(&) :: 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
- _doesGenerateLiftInsTypeSynonym :: Bool
- _doesGenerateLiftInsPatternSynonyms :: Bool
}
confByEffect :: Lens' EffectClassConf (Name -> EffectConf)
doesDeriveHFunctor :: Lens' EffectClassConf Bool
doesGenerateLiftInsPatternSynonyms :: Lens' EffectClassConf Bool
doesGenerateLiftInsTypeSynonym :: Lens' EffectClassConf Bool
data EffectConf = EffectConf {
- _normalSenderGenConf :: Maybe SenderFunctionConf
- _taggedSenderGenConf :: Maybe SenderFunctionConf
- _keyedSenderGenConf :: Maybe SenderFunctionConf
- _warnFirstOrderInSigCls :: Bool
}
keyedSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
normalSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
taggedSenderGenConf :: Lens' EffectConf (Maybe SenderFunctionConf)
warnFirstOrderInSigCls :: 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
generateLiftInsTypeSynonym :: MakeEffectConf -> MakeEffectConf
noGenerateLiftInsTypeSynonym :: MakeEffectConf -> MakeEffectConf
generateLiftInsPatternSynonyms :: MakeEffectConf -> MakeEffectConf
noGenerateLiftInsPatternSynonyms :: MakeEffectConf -> MakeEffectConf
noGenerateNormalSenderFunction :: MakeEffectConf -> MakeEffectConf
noGenerateTaggedSenderFunction :: MakeEffectConf -> MakeEffectConf
noGenerateKeyedSenderFunction :: MakeEffectConf -> MakeEffectConf
suppressFirstOrderInSignatureClassWarning :: 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 #

class Default a where #

A class for types with a default value.

Minimal complete definition

Nothing

Methods

def :: a #

The default value for this type.

Instances

Instances details

Default All
Instance details Defined in Data.Default.Class Methods def :: All #
Default Any
Instance details Defined in Data.Default.Class Methods def :: Any #
Default CClock
Instance details Defined in Data.Default.Class Methods def :: CClock #
Default CDouble
Instance details Defined in Data.Default.Class Methods def :: CDouble #
Default CFloat
Instance details Defined in Data.Default.Class Methods def :: CFloat #
Default CInt
Instance details Defined in Data.Default.Class Methods def :: CInt #
Default CIntMax
Instance details Defined in Data.Default.Class Methods def :: CIntMax #
Default CIntPtr
Instance details Defined in Data.Default.Class Methods def :: CIntPtr #
Default CLLong
Instance details Defined in Data.Default.Class Methods def :: CLLong #
Default CLong
Instance details Defined in Data.Default.Class Methods def :: CLong #
Default CPtrdiff
Instance details Defined in Data.Default.Class Methods def :: CPtrdiff #
Default CSUSeconds
Instance details Defined in Data.Default.Class Methods def :: CSUSeconds #
Default CShort
Instance details Defined in Data.Default.Class Methods def :: CShort #
Default CSigAtomic
Instance details Defined in Data.Default.Class Methods def :: CSigAtomic #
Default CSize
Instance details Defined in Data.Default.Class Methods def :: CSize #
Default CTime
Instance details Defined in Data.Default.Class Methods def :: CTime #
Default CUInt
Instance details Defined in Data.Default.Class Methods def :: CUInt #
Default CUIntMax
Instance details Defined in Data.Default.Class Methods def :: CUIntMax #
Default CUIntPtr
Instance details Defined in Data.Default.Class Methods def :: CUIntPtr #
Default CULLong
Instance details Defined in Data.Default.Class Methods def :: CULLong #
Default CULong
Instance details Defined in Data.Default.Class Methods def :: CULong #
Default CUSeconds
Instance details Defined in Data.Default.Class Methods def :: CUSeconds #
Default CUShort
Instance details Defined in Data.Default.Class Methods def :: CUShort #
Default Int16
Instance details Defined in Data.Default.Class Methods def :: Int16 #
Default Int32
Instance details Defined in Data.Default.Class Methods def :: Int32 #
Default Int64
Instance details Defined in Data.Default.Class Methods def :: Int64 #
Default Int8
Instance details Defined in Data.Default.Class Methods def :: Int8 #
Default Word16
Instance details Defined in Data.Default.Class Methods def :: Word16 #
Default Word32
Instance details Defined in Data.Default.Class Methods def :: Word32 #
Default Word64
Instance details Defined in Data.Default.Class Methods def :: Word64 #
Default Word8
Instance details Defined in Data.Default.Class Methods def :: Word8 #
Default EffectClassConf Source #
Instance details Defined in Data.Effect.TH.Internal Methods def :: EffectClassConf #
Default MakeEffectConf Source #
Instance details Defined in Data.Effect.TH.Internal Methods def :: MakeEffectConf #
Default Ordering
Instance details Defined in Data.Default.Class Methods def :: Ordering #
Default Integer
Instance details Defined in Data.Default.Class Methods def :: Integer #
Default ()
Instance details Defined in Data.Default.Class Methods def :: () #
Default Double
Instance details Defined in Data.Default.Class Methods def :: Double #
Default Float
Instance details Defined in Data.Default.Class Methods def :: Float #
Default Int
Instance details Defined in Data.Default.Class Methods def :: Int #
Default Word
Instance details Defined in Data.Default.Class Methods def :: Word #
(Default a, RealFloat a) => Default (Complex a)
Instance details Defined in Data.Default.Class Methods def :: Complex a #
Default (First a)
Instance details Defined in Data.Default.Class Methods def :: First a #
Default (Last a)
Instance details Defined in Data.Default.Class Methods def :: Last a #
Default a => Default (Dual a)
Instance details Defined in Data.Default.Class Methods def :: Dual a #
Default (Endo a)
Instance details Defined in Data.Default.Class Methods def :: Endo a #
Num a => Default (Product a)
Instance details Defined in Data.Default.Class Methods def :: Product a #
Num a => Default (Sum a)
Instance details Defined in Data.Default.Class Methods def :: Sum a #
Integral a => Default (Ratio a)
Instance details Defined in Data.Default.Class Methods def :: Ratio a #
Default a => Default (IO a)
Instance details Defined in Data.Default.Class Methods def :: IO a #
Default (Maybe a)
Instance details Defined in Data.Default.Class Methods def :: Maybe a #
Default [a]
Instance details Defined in Data.Default.Class Methods def :: [a] #
Default r => Default (e -> r)
Instance details Defined in Data.Default.Class Methods def :: e -> r #
(Default a, Default b) => Default (a, b)
Instance details Defined in Data.Default.Class Methods def :: (a, b) #
(Default a, Default b, Default c) => Default (a, b, c)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c) #
(Default a, Default b, Default c, Default d) => Default (a, b, c, d)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d) #
(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d, e) #
(Default a, Default b, Default c, Default d, Default e, Default f) => Default (a, b, c, d, e, f)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d, e, f) #
(Default a, Default b, Default c, Default d, Default e, Default f, Default g) => Default (a, b, c, d, e, f, g)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d, e, f, g) #

(&) :: 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 $.

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

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 _doesGenerateLiftInsTypeSynonym :: Bool _doesGenerateLiftInsPatternSynonyms :: 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 #

doesGenerateLiftInsPatternSynonyms :: Lens' EffectClassConf Bool Source #

doesGenerateLiftInsTypeSynonym :: Lens' EffectClassConf Bool Source #

data EffectConf Source #

Constructors

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