Safe Haskell	Safe-Inferred

Derive.Deriver.DeriveM

Description

This is the core of the Deriver monad, instantiated in detail in Derive.Deriver.Monad.

Synopsis

data Deriver st err a
type RunResult st err a = (Either err a, st, [Log.Msg])
run :: st -> Deriver st err a -> RunResult st err a
write :: Log.Msg -> Deriver st err ()
throw :: err -> Deriver st err a
modify :: (st -> st) -> Deriver st err ()
get :: Deriver st err st
gets :: (st -> a) -> Deriver st err a
put :: st -> Deriver st err ()
annotate :: (err -> err) -> Deriver st err a -> Deriver st err a

Documentation

data Deriver st err a Source #

Instances

Instances details

Monoid NoteDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods mempty :: NoteDeriver # mappend :: NoteDeriver -> NoteDeriver -> NoteDeriver # mconcat :: [NoteDeriver] -> NoteDeriver #
Semigroup NoteDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods (<>) :: NoteDeriver -> NoteDeriver -> NoteDeriver # sconcat :: NonEmpty NoteDeriver -> NoteDeriver # stimes :: Integral b => b -> NoteDeriver -> NoteDeriver #
Show Builtins Source #
Instance details Defined in Derive.Deriver.Monad Methods showsPrec :: Int -> Builtins -> ShowS # show :: Builtins -> String # showList :: [Builtins] -> ShowS #
Show InstrumentCalls Source #
Instance details Defined in Derive.Deriver.Monad Methods showsPrec :: Int -> InstrumentCalls -> ShowS # show :: InstrumentCalls -> String # showList :: [InstrumentCalls] -> ShowS #
Show Library Source #
Instance details Defined in Derive.Library Methods showsPrec :: Int -> Library -> ShowS # show :: Library -> String # showList :: [Library] -> ShowS #
ShowVal ControlDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods show_val :: ControlDeriver -> Text Source #
ShowVal NoteDeriver Source #	This is an invalid instance, because a deriver has no literal syntax. But this lets me put a deriver in a defaulted argument, and get documentation for it.
Instance details Defined in Derive.Deriver.Monad Methods show_val :: NoteDeriver -> Text Source #
ShowVal PitchDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods show_val :: PitchDeriver -> Text Source #
Typecheck ControlDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: Val -> Checked ControlDeriver Source # to_type :: Proxy ControlDeriver -> Type Source # from_subtrack :: Track -> Maybe ControlDeriver Source #
Typecheck NoteDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: Val -> Checked NoteDeriver Source # to_type :: Proxy NoteDeriver -> Type Source # from_subtrack :: Track -> Maybe NoteDeriver Source #
Typecheck PitchDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: Val -> Checked PitchDeriver Source # to_type :: Proxy PitchDeriver -> Type Source # from_subtrack :: Track -> Maybe PitchDeriver Source #
Log.LogMonad Deriver Source #
Instance details Defined in Derive.Deriver.Monad Methods write :: Log.Msg -> Deriver () Source #
MonadError err (Deriver st err) Source #
Instance details Defined in Derive.Deriver.DeriveM Methods throwError :: err -> Deriver st err a # catchError :: Deriver st err a -> (err -> Deriver st err a) -> Deriver st err a #
Callable (Transformer Control) Source #
Instance details Defined in Derive.Deriver.Monad Methods get_builtins_scope :: Builtins -> ModuleMap (Transformer Control) get_scopes_scope :: Scopes -> ScopePriority (Transformer Control) callable_name :: Proxy (Transformer Control) -> Text Source #
Callable (Transformer Note) Source #
Instance details Defined in Derive.Deriver.Monad Methods get_builtins_scope :: Builtins -> ModuleMap (Transformer Note) get_scopes_scope :: Scopes -> ScopePriority (Transformer Note) callable_name :: Proxy (Transformer Note) -> Text Source #
Callable (Transformer Pitch) Source #
Instance details Defined in Derive.Deriver.Monad Methods get_builtins_scope :: Builtins -> ModuleMap (Transformer Pitch) get_scopes_scope :: Scopes -> ScopePriority (Transformer Pitch) callable_name :: Proxy (Transformer Pitch) -> Text Source #
ToLibrary (Transformer Control) Source #
Instance details Defined in Derive.Library Methods to_library :: [Entry (Transformer Control)] -> Library -> Library
ToLibrary (Transformer Note) Source #
Instance details Defined in Derive.Library Methods to_library :: [Entry (Transformer Note)] -> Library -> Library
ToLibrary (Transformer Pitch) Source #
Instance details Defined in Derive.Library Methods to_library :: [Entry (Transformer Pitch)] -> Library -> Library
Applicative (Deriver st err) Source #
Instance details Defined in Derive.Deriver.DeriveM Methods pure :: a -> Deriver st err a # (<>) :: Deriver st err (a -> b) -> Deriver st err a -> Deriver st err b # liftA2 :: (a -> b -> c) -> Deriver st err a -> Deriver st err b -> Deriver st err c # (>) :: Deriver st err a -> Deriver st err b -> Deriver st err b # (<*) :: Deriver st err a -> Deriver st err b -> Deriver st err a #
Functor (Deriver st err) Source #
Instance details Defined in Derive.Deriver.DeriveM Methods fmap :: (a -> b) -> Deriver st err a -> Deriver st err b # (<$) :: a -> Deriver st err b -> Deriver st err a #
Monad (Deriver st err) Source #
Instance details Defined in Derive.Deriver.DeriveM Methods (>>=) :: Deriver st err a -> (a -> Deriver st err b) -> Deriver st err b # (>>) :: Deriver st err a -> Deriver st err b -> Deriver st err b # return :: a -> Deriver st err a #

type RunResult st err a = (Either err a, st, [Log.Msg]) Source #

run :: st -> Deriver st err a -> RunResult st err a Source #

write :: Log.Msg -> Deriver st err () Source #

throw :: err -> Deriver st err a Source #

modify :: (st -> st) -> Deriver st err () Source #

get :: Deriver st err st Source #

gets :: (st -> a) -> Deriver st err a Source #

put :: st -> Deriver st err () Source #

annotate :: (err -> err) -> Deriver st err a -> Deriver st err a Source #

Catch and rethrow an error, presumably to annotate it with more information.