on master help sign in
Merge pull request #775 from kmicklas/config-instances

Add some instances for HasConfigs and ConfigsT

commit827ccd66674e9c0e9728a82362ff569123299971 authorElliot Cameron <3noch@users.noreply.github.com> dateWed 1 Jul 2020, 11:19 (6 years ago) parentc1773710f0d186
2 files changed+10−1
lib/executable-config/lookup/obelisk-executable-config-lookup.cabal+2 lib/executable-config/lookup/src/Obelisk/Configs.hs+8−1
lib/executable-config/lookup/obelisk-executable-config-lookup.cabal+2
@@ -31,12 +31,14 @@ library
3131 base64-bytestring,
3232 bytestring,
3333 containers,
34+ exceptions,
3435 filepath,
3536 text,
3637 transformers,
3738 transformers-base,
3839 ref-tf,
3940 primitive,
41+ mmorph,
4042 monad-control,
4143 reflex,
4244 reflex-dom,
lib/executable-config/lookup/src/Obelisk/Configs.hs+8−1
@@ -20,14 +20,17 @@ module Obelisk.Configs
2020
2121import Control.Applicative
2222import Control.Monad
23+import Control.Monad.Catch
2324import Control.Monad.Base
2425import Control.Monad.Fix
26+import Control.Monad.Morph
2527import Control.Monad.Primitive
2628import Control.Monad.Ref
2729import Control.Monad.IO.Class
28−import Control.Monad.Trans.Class
2930import Control.Monad.Trans.Control
3031import Control.Monad.Trans.Reader
32+import Control.Monad.Trans.State
33+import qualified Control.Monad.Trans.State.Strict as Strict
3134import Data.ByteString (ByteString)
3235import Data.Map (Map)
3336import qualified Data.Map as Map
@@ -62,6 +65,8 @@ instance HasConfigs m => HasConfigs (PostBuildT t m)
6265instance HasConfigs m => HasConfigs (QueryT t q m)
6366instance HasConfigs m => HasConfigs (ReaderT r m)
6467instance HasConfigs m => HasConfigs (RequesterT t request response m)
68+instance HasConfigs m => HasConfigs (StateT w m)
69+instance HasConfigs m => HasConfigs (Strict.StateT w m)
6570instance HasConfigs m => HasConfigs (StaticDomBuilderT t m)
6671instance HasConfigs m => HasConfigs (TriggerEventT t m)
6772
@@ -73,11 +78,13 @@ newtype ConfigsT m a = ConfigsT { unConfigsT :: ReaderT (Map Text ByteString) m
7378 , MonadPlus
7479 , Alternative
7580 , MonadFix
81+ , MonadThrow
7682 , MonadIO
7783 , MonadBase m'
7884 , MonadBaseControl m'
7985 , MonadRef
8086 , MonadTrans
87+ , MFunctor
8188 , DomBuilder t
8289 , MonadHold t
8390 , MonadReflexCreateTrigger t