| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Helic.Interpreter.GtkClipboard
Description
Native interpreters for GtkClipboard, for scoped interpretation with interpretWithGtk.
Synopsis
- withGtkClipboard :: Member (Scoped_ GtkClipboard) r => InterpreterFor GtkClipboard r
- handleGtkClipboard :: Members [Log, Embed IO, Final IO] r => Display -> GtkClipboard (Sem r0) a -> Tactical effect (Sem r0) (Stop Text ': r) a
- interpretGtkClipboard :: Members [GtkMain Display, Log, Embed IO, Final IO] r => InterpreterFor (Scoped_ GtkClipboard !! Text) r
Documentation
withGtkClipboard :: Member (Scoped_ GtkClipboard) r => InterpreterFor GtkClipboard r Source #
Specialization of scoped to GtkClipboard for syntactic sugar.
handleGtkClipboard :: Members [Log, Embed IO, Final IO] r => Display -> GtkClipboard (Sem r0) a -> Tactical effect (Sem r0) (Stop Text ': r) a Source #
This handler for GtkClipboard depends on a Display, which should optimally be provided by a Scoped
interpreter to ensure safe acquisition of the resource.
The effect then needs to be scoped using withGtkClipboard.
The default implementation for this purpose is interpretWithGtk.
interpretGtkClipboard :: Members [GtkMain Display, Log, Embed IO, Final IO] r => InterpreterFor (Scoped_ GtkClipboard !! Text) r Source #
Native interpreter for GtkClipboard that requires the effect to be used within a withGtkClipboard region.