@@ -210,18 +210,18 @@ ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (do' stateme
210210
211211
212212data Analysis address value m = Analysis
213- { alloc :: User -> m address
214- , bind :: forall a . User -> address -> m a -> m a
215- , lookupEnv :: User -> m (Maybe address )
216- , deref :: address -> m (Maybe value )
217- , assign :: address -> value -> m ()
218- , abstract :: (Term Core User -> m value ) -> User -> Term Core User -> m value
219- , apply :: (Term Core User -> m value ) -> value -> value -> m value
220- , unit :: m value
221- , bool :: Bool -> m value
222- , asBool :: value -> m Bool
223- , string :: Text -> m value
224- , asString :: value -> m Text
225- , record :: [(User , value )] -> m value
226- , (...) :: address -> User -> m (Maybe address)
213+ { alloc :: User -> m address
214+ , bind :: forall a . User -> address -> m a -> m a
215+ , lookupEnv :: User -> m (Maybe address )
216+ , deref :: address -> m (Maybe value )
217+ , assign :: address -> value -> m ()
218+ , abstract :: (Term Core User -> m value ) -> User -> Term Core User -> m value
219+ , apply :: (Term Core User -> m value ) -> value -> value -> m value
220+ , unit :: m value
221+ , bool :: Bool -> m value
222+ , asBool :: value -> m Bool
223+ , string :: Text -> m value
224+ , asString :: value -> m Text
225+ , record :: [(User , value )] -> m value
226+ , (...) :: address -> User -> m (Maybe address)
227227 }
0 commit comments