Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype StdCited m a = StdCited {}
- newtype StdThunk (m :: Type -> Type) = StdThunk {}
- type StdValue' m = NValue' (StdThunk m) (StdCited m) m (StdValue m)
- type StdValue m = NValue (StdThunk m) (StdCited m) m
- newtype StandardTF r m a = StandardTF (ReaderT (Context r (StdValue r)) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a)
- type StandardT m = Fix1T StandardTF m
- mkStandardT :: ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a -> StandardT m a
- runStandardT :: StandardT m a -> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a
- runWithBasicEffects :: (MonadIO m, MonadAtomicRef m) => Options -> StandardT (StdIdT m) a -> m a
- runWithBasicEffectsIO :: Options -> StandardT (StdIdT IO) a -> IO a
Documentation
Instances
newtype StdThunk (m :: Type -> Type) Source #
Instances
instance MonadThunkF
(Kleisli functor HOFs)
instance MonadValue (StdValue m) m
instance MonadValueF (StdValue m) m
newtype StandardTF r m a Source #
StandardTF (ReaderT (Context r (StdValue r)) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a) |
Instances
type StandardT m = Fix1T StandardTF m Source #
mkStandardT :: ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a -> StandardT m a Source #
runStandardT :: StandardT m a -> ReaderT (Context (StandardT m) (StdValue (StandardT m))) (StateT (HashMap FilePath NExprLoc, HashMap Text Text) m) a Source #
runWithBasicEffects :: (MonadIO m, MonadAtomicRef m) => Options -> StandardT (StdIdT m) a -> m a Source #