diff options
| author | Amir Saeid <amir@glgdgt.com> | 2026-02-18 21:25:00 +0000 |
|---|---|---|
| committer | Amir Saeid <amir@glgdgt.com> | 2026-02-18 21:25:00 +0000 |
| commit | 32e0e105f663ace08896f22ab4079521070b0cac (patch) | |
| tree | a40cad3ef73d76241f285d263c2574cf1e80c8d6 /public/post/2018-09-11-shapeless | |
| parent | 3e3b3596b4e0d720c68a2d3a3538055dae41a694 (diff) | |
Change the theme and add a new post
Diffstat (limited to 'public/post/2018-09-11-shapeless')
| -rw-r--r-- | public/post/2018-09-11-shapeless/index.html | 229 |
1 files changed, 229 insertions, 0 deletions
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 @@ +<!DOCTYPE html> +<html lang="en"> +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> + + <title>Shapeless :: </title> + + <meta http-equiv="content-type" content="text/html; charset=utf-8"> +<meta name="viewport" content="width=device-width, initial-scale=1.0"> +<meta name="description" content="Shapeless +import shapeless._ import shapeless.ops.hlist.{LiftAll, Mapper, Mapped} import shapeless.UnaryTCConstraint._ " /> +<meta name="keywords" content="" /> + + <meta name="robots" content="noodp" /> + +<link rel="canonical" href="http://localhost:1313/post/2018-09-11-shapeless/" /> + + + + + + + <link rel="stylesheet" href="http://localhost:1313/css/buttons.min.86f6b4c106b6c6eb690ae5203d36b442c1f66f718ff4e8164fa86cf6c61ad641.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/code.min.d529ea4b2fb8d34328d7d31afc5466d5f7bc2f0bc9abdd98b69385335d7baee4.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/fonts.min.5bb7ed13e1d00d8ff39ea84af26737007eb5051b157b86fc24487c94f3dc8bbe.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/footer.min.eb8dfc2c6a7eafa36cd3ba92d63e69e849e2200e0002a228d137f236b09ecd75.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/gist.min.a751e8b0abe1ba8bc53ced52a38b19d8950fe78ca29454ea8c2595cf26aad5c0.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/header.min.75c7eb0e2872d95ff48109c6647d0223a38db52e2561dd87966eb5fc7c6bdac6.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/main.min.36833afd348409fc6c3d09d0897c5833d9d5bf1ff31f5e60ea3ee42ce2b1268c.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/menu.min.3c17467ebeb3d38663dce68f71f519901124fa5cbb4519b2fb0667a21e9aca39.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/pagination.min.bbb986dbce00a5ce5aca0504b7925fc1c581992a4bf57f163e5d69cc1db7d836.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/post.min.e6dddd258e64c83e05cec0cd49c05216742d42fc8ecbfbe6b67083412b609bd3.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/syntax.min.a0773cce9310cb6d8ed23e50f005448facf29a53001b57e038828daa466b25c0.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/terminal.min.e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.css"> + + + <link rel="stylesheet" href="http://localhost:1313/css/terms.min.b81791663c3790e738e571cdbf802312390d30e4b1d8dc9d814a5b5454d0ac11.css"> + + + + + + + +<link rel="shortcut icon" href="http://localhost:1313/favicon.png"> +<link rel="apple-touch-icon" href="http://localhost:1313/apple-touch-icon.png"> + + +<meta name="twitter:card" content="summary" /> + + + +<meta property="og:locale" content="en" /> +<meta property="og:type" content="article" /> +<meta property="og:title" content="Shapeless"> +<meta property="og:description" content="Shapeless +import shapeless._ import shapeless.ops.hlist.{LiftAll, Mapper, Mapped} import shapeless.UnaryTCConstraint._ " /> +<meta property="og:url" content="http://localhost:1313/post/2018-09-11-shapeless/" /> +<meta property="og:site_name" content="" /> + + <meta property="og:image" content="http://localhost:1313/og-image.png"> + +<meta property="og:image:width" content="1200"> +<meta property="og:image:height" content="627"> + + + <meta property="article:published_time" content="2018-09-11 00:00:00 +0000 UTC" /> + + + + + + + + + +<script> +window.MathJax = { + tex: { + inlineMath: [['$', '$'], ['\\(', '\\)']], + displayMath: [['$$', '$$'], ['\\[', '\\]']], + processEscapes: true, + processEnvironments: true + }, + options: { + skipHtmlTags: ['script', 'noscript', 'style', 'textarea', 'pre'] + } +}; +</script> +<script id="MathJax-script" async src="/mathjax/tex-mml-chtml.js"></script> + + +</head> +<body> + + +<div class="container center"> + + <header class="header"> + <div class="header__inner"> + <div class="header__logo"> + <a href="http://localhost:1313/"> + <div class="logo"> + Terminal + </div> +</a> + + </div> + + + </div> + +</header> + + + <div class="content"> + +<article class="post"> + <h1 class="post-title"> + <a href="http://localhost:1313/post/2018-09-11-shapeless/">Shapeless</a> + </h1> + <div class="post-meta"><time class="post-date">2018-09-11</time></div> + + + <span class="post-tags"> + + #<a href="http://localhost:1313/tags/shapeless/">shapeless</a> + + #<a href="http://localhost:1313/tags/scala/">scala</a> + + </span> + + + + + + + <div class="post-content"><div> + <p><a href="https://github.com/milessabin/shapeless">Shapeless</a></p> +<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-scala" data-lang="scala"><span class="line"><span class="cl"><span class="k">import</span> <span class="nn">shapeless._</span> +</span></span><span class="line"><span class="cl"><span class="k">import</span> <span class="nn">shapeless.ops.hlist.</span><span class="o">{</span><span class="nc">LiftAll</span><span class="o">,</span> <span class="nc">Mapper</span><span class="o">,</span> <span class="nc">Mapped</span><span class="o">}</span> +</span></span><span class="line"><span class="cl"><span class="k">import</span> <span class="nn">shapeless.UnaryTCConstraint._</span> +</span></span></code></pre></div> + </div></div> + + + +<div class="pagination"> + <div class="pagination__title"> + <span class="pagination__title-h"></span> + <hr /> + </div> + <div class="pagination__buttons"> + + <a href="http://localhost:1313/post/fairstream/" class="button inline prev"> + < [<span class="button__text">Fairstream</span>] + </a> + + + :: + + + <a href="http://localhost:1313/post/2017-08-24-untyped-lambda-calculus/" class="button inline next"> + [<span class="button__text">Untyped Lambda Calculus</span>] > + </a> + + </div> +</div> + + + + + + + + +</article> + + </div> + + + <footer class="footer"> + <div class="footer__inner"> + + <div class="copyright"> + <span>© 2026 Powered by <a href="https://gohugo.io">Hugo</a></span> + + <span>:: <a href="https://github.com/panr/hugo-theme-terminal" target="_blank">Theme</a> made by <a href="https://github.com/panr" target="_blank">panr</a></span> + </div> + </div> +</footer> + + + + + + +<script type="text/javascript" src="/bundle.min.js"></script> + + + + + + +</div> + +</body> +</html> |