search

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32 stars 0 forks source link

Prism special form for GDS #293

Closed AshleyYakeley closed 4 months ago

AshleyYakeley commented 4 months ago 
supertype.Prism @T: Prism {a,-D(T)} {-a,+T} =
    Mk.Prism (fn item => check @T d >- match
            Just t => Right t;
            Nothing => Left d;
        end) id;
AshleyYakeley commented 4 months ago

Done (dynamic.Prism)