Searched refs:kIOMonad (Results 1 – 7 of 7) sorted by relevance
649 AddMonadParameters(branches, "io", kIOMonad->ToAbstract()); in SetupEffectBranches()1020 AddMonadArgument(caller, kIOMonad); in AddMonadForCaller()1219 auto io = NewValueNode(kIOMonad); in HandleOuterNode()1220 io->set_abstract(kIOMonad->ToAbstract()); in HandleOuterNode()1433 io_ = NewValueNode(kIOMonad); in GetIoState()1434 io_->set_abstract(kIOMonad->ToAbstract()); in GetIoState()1436 io_ = AddMonadParameter(func_graph_, "io", kIOMonad->ToAbstract()); in GetIoState()
385 auto io = NewValueNode(kIOMonad); in AdjustForAutoMonad()386 io->set_abstract(kIOMonad->ToAbstract()); in AdjustForAutoMonad()487 extra_node = NewValueNode(kIOMonad); in BuildOutput()
310 const ValuePtr kIOMonad = std::make_shared<IOMonad>(); variable
297 extern const ValuePtr kIOMonad;
376 return kIOMonad->ToAbstract(); in MakeMonadAbstract()
795 explicit AbstractIOMonad(const ValuePtr &value = kIOMonad) : AbstractMonad(value, kIOMonadType) {} in AbstractMonad()
666 auto monad_abs = kIOMonad->ToAbstract(); in ObtainValueNodeInMonadForm()667 auto new_value_node = NewValueNode(kIOMonad); in ObtainValueNodeInMonadForm()