Documentation

type Prot m = StateT (ProtEnv m) mSource

data ProtEnv m Source

data Object Source

data Member Source

type Method m = Object -> [Object] -> Prot m [Object]Source

runProt :: Monad m => Prot m a -> ProtEnv m -> m (a, ProtEnv m)Source

evalProt :: Monad m => Prot m a -> ProtEnv m -> m aSource

execProt :: Monad m => Prot m a -> ProtEnv m -> m (ProtEnv m)Source

initProtEnv :: ProtEnv mSource

package :: Monad m => String -> Prot m a -> Prot m aSource

object :: ObjectSource

clone :: Monad m => Object -> Prot m ObjectSource

makeMember :: Monad m => String -> Prot m MemberSource

setMember :: Monad m => Object -> Member -> Object -> Prot m ()Source

member :: Monad m => Object -> Member -> Prot m ObjectSource

makeMethod :: Monad m => Method m -> Prot m ObjectSource

setMethod :: Monad m => Object -> Member -> Method m -> Prot m ()Source

method :: Monad m => Object -> Member -> [Object] -> Prot m [Object]Source

liftProt :: Monad m => m a -> Prot m aSource

primBool :: Bool -> ObjectSource

primInt :: Int -> ObjectSource

primStr :: String -> ObjectSource

fromPrimBool :: Object -> BoolSource

fromPrimInt :: Object -> IntSource

fromPrimStr :: Object -> StringSource

printMember :: MonadIO m => Member -> m ()Source