From 32e0e105f663ace08896f22ab4079521070b0cac Mon Sep 17 00:00:00 2001 From: Amir Saeid Date: Wed, 18 Feb 2026 21:25:00 +0000 Subject: Change the theme and add a new post --- public/post/2018-09-11-shapeless/index.html | 229 ++++++++++++++++++++++++++++ 1 file changed, 229 insertions(+) create mode 100644 public/post/2018-09-11-shapeless/index.html (limited to 'public/post/2018-09-11-shapeless') diff --git a/public/post/2018-09-11-shapeless/index.html b/public/post/2018-09-11-shapeless/index.html new file mode 100644 index 0000000..e54c9a9 --- /dev/null +++ b/public/post/2018-09-11-shapeless/index.html @@ -0,0 +1,229 @@ + + + + + Shapeless :: + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ + + + +

+ +

+ Shapeless +

2018-09-11

Shapeless

import shapeless._
+import shapeless.ops.hlist.{LiftAll, Mapper, Mapped}
+import shapeless.UnaryTCConstraint._
+

+ + + +

+ +

+ + + < [Fairstream] + + + + :: + + + + [Untyped Lambda Calculus] > + + +

+ + + + + + + + +

+ +

+ + + + + + + + + + + + + + + + +

+ + + -- cgit v1.2.3