Yannick Gladow yannick-cw
yannick-cw
/ .ideavimrc
Created
August 19, 2020 15:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let mapleader = " " | |
| " :actionlist for all commands | |
| set surround | |
| set multiple-cursors | |
| set history=1000 | |
| set visualbell | |
| set noerrorbells | |
| set incsearch " Highlight search results when typing | |
| set hlsearch " Highlight search results | |
| set relativenumber " relative numbers |
yannick-cw
/ recursive_schemes_hylo_example.scala
Last active
January 30, 2021 12:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import cats.{Applicative, Eval, Functor, Traverse} | |
| import cats.implicits.{toFunctorOps, toTraverseOps} | |
| import com.sksamuel.elastic4s.requests.searches.queries.term.TermQuery | |
| import com.sksamuel.elastic4s.requests.searches.queries.{BoolQuery, Query} | |
| import io.circe.Decoder.Result | |
| import io.circe.{Decoder, Json} | |
| import orderindexer.api.graphql.QueryLang.{Root, fromDslToEsAlgebra, fromJsonCoalgebra} | |
| object ReCurse { | |
| type Algebra[F[_], A] = F[A] => A |
OlderNewer