Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
dailambda
plebeia
Merge requests
!154
Add Lifted functions to Op_lwt
Code
Review changes
Check out branch
Download
Patches
Plain diff
taiseiKMC
requested to merge
hsaito@fs-vc-lift-op
into
jun@fs-vc-simple
Jul 06, 2022
Overview
0
Commits
3
Changes
3
Expand
Fs.Make(sth).Op_lwt に Fs.Make(sth).Op の関数を lift して追加
Lwt, Result, Result_Lwt から Op_lwt へ lift する関数を追加
Merge request reports