mkLogicFunction (f : Transaction -> Bool) : Internal.Transaction -> BoolSource#

mkDeltaComponent : Internal.DeltaComponent -> Transaction.Kind × IntSource#

mkDelta (d : Internal.Delta) : Transaction.DeltaSource#

terminating mkResource : Internal.Resource -> Transaction.ResourceSource#

terminating mkTransaction : Internal.Transaction -> TransactionSource#

terminating mkInternalDeltaComponent : Transaction.Kind × Int -> Internal.DeltaComponentSource#

terminating mkInternalDelta (d : Transaction.Delta) : Internal.DeltaSource#

terminating mkInternalResource : Transaction.Resource -> Internal.ResourceSource#

terminating mkInternalTransaction : Transaction -> Internal.TransactionSource#