Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data ModifyResult ctx Source #
Instances
ToValue ctx (ModifyResult ctx) Source # | |
Defined in Dovetail.Core.Effect.Ref toValue :: ModifyResult ctx -> Value ctx # fromValue :: Value ctx -> Eval ctx (ModifyResult ctx) # | |
Generic (ModifyResult ctx) Source # | |
Defined in Dovetail.Core.Effect.Ref type Rep (ModifyResult ctx) :: Type -> Type # 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)))) |