git.iko.soy/generic-lens
on master help sign in
history ofbfcd00a..master
compare
848dd52Remove inspection-testing submodule and bump boundMatthew Pickering 437ac4cMergeCsongor Kiss 6abf423Update inspection-testingCsongor Kiss 445d5fetravis ¯\_(ツ)_/¯Csongor Kiss 04fa5c8Don't touch cabal.project in travisCsongor Kiss fa6332dClone submodulesCsongor Kiss 47060cdUse inspection-testing HEADCsongor Kiss 72552e4Add Util fileMatthew Pickering 6a82eafClean upCsongor Kiss 3283578Use new inspectTest functionality to convert to unit testsMatthew Pickering fdf8487Remove dependency on MoreProfunctorMatthew Pickering f15ab6eSimple minded, fast optimisationsMatthew Pickering 2cbc1e8Two more prism testsMatthew Pickering d1cda62Implement _Type directlyMatthew Pickering 8467038Eta expand _SubMatthew Pickering 81e7fecImplement prism following the either-right invariantMatthew Pickering 6eb09a5Add profunctor prism testMatthew Pickering 3e57f2cSlightly bump unfolding-use-thresholdMatthew Pickering 848b37bAdd -dsuppress-all flagMatthew Pickering 9378414Convert prism creation to VL prismsMatthew Pickering 61bf42fRemove dump-core depMatthew Pickering 3a12e77Remove very aggressive optionsMatthew Pickering 1e77599Do some eta expansionMatthew Pickering ff59890Optimising prismsMatthew Pickering c60b4d2Make prism code compileMatthew Pickering 876ad15Add flag -fdump-core to dump core output as html.Matthew Pickering 416fa83Fix inlining on 8.0.2Csongor Kiss 61d338f0.6.0.0 -> 0.5.1.0Csongor Kiss 202fcc7Bump 0.6.0.0Csongor Kiss cbd78d1Rename type families Bar and BazCsongor Kiss ccc8bcfAdd test case for #24Csongor Kiss ff78ef1Infer original type from return type (fixes #25)Csongor Kiss c0e2c24Fix #23Csongor Kiss c78c1bcRunning PrismBoggle twice optimises away the right callsMatthew Pickering db73962More wip prismsMatthew Pickering 5106556Extend example to eliminate empty listMatthew Pickering 112c35cDList normalisedMatthew Pickering ab8fdb3Add (nearly complete) example of how boggle worksMatthew Pickering 9b9bf28Two missing filesMatthew Pickering 24cc944Add a testMatthew Pickering 4a68faeCore looks good for boggleMatthew Pickering 11eb649WIP typed traversalsCsongor Kiss 3394129WIP: Optimised prismsMatthew Pickering 293657dBump 0.5.1.0Csongor Kiss 5b0c027Add IsLabel instanceCsongor Kiss 01d7893Fix subtype error messageCsongor Kiss 8e3bbedImprove error message for subtype lens0.5.0.0Csongor Kiss 94d377aUpdate ChangeLog.mdCsongor Kiss aad5b7cMake type errors better (#20)Csongor Kiss 7c05cfcClean upCsongor Kiss