Safe Haskell | None |
---|---|
Language | Haskell2010 |
Dovetail.Core.Effect.Ref
Documentation
data ModifyResult ctx Source #
Constructors
ModifyResult | |
Instances
ToValue ctx (ModifyResult ctx) Source # | |
Defined in Dovetail.Core.Effect.Ref Methods toValue :: ModifyResult ctx -> Value ctx # fromValue :: Value ctx -> Eval ctx (ModifyResult ctx) # | |
Generic (ModifyResult ctx) Source # | |
Defined in Dovetail.Core.Effect.Ref Associated Types type Rep (ModifyResult ctx) :: Type -> Type # Methods from :: ModifyResult ctx -> Rep (ModifyResult ctx) x # to :: Rep (ModifyResult ctx) x -> ModifyResult ctx # | |
type Rep (ModifyResult ctx) Source # | |
Defined in Dovetail.Core.Effect.Ref type Rep (ModifyResult ctx) = D1 ('MetaData "ModifyResult" "Dovetail.Core.Effect.Ref" "dovetail-core-0.1.0.0-CkNuUw7qe2sKlrnHjnn18t" 'False) (C1 ('MetaCons "ModifyResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value ctx)) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value ctx)))) |