def IO.pure

Base · base.bend:167

import Base

167def IO.pure(-A: Type, x: A) -> IO(A):
168  R => k => k(x)

Uses (1)

IO

Used by (1158)

cswap-bend-cli@0.1.0.0/act:pure
cswap-bend-cli@0.1.0.0/act:fail
cswap-bend-cli@0.1.0.0/act:lift
near-v-framework@0.4.0.0/domain/architecture/system/effs/io:run
IO.pass
…