Markus Appel markusa380
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
| ($) :: forall a b. (a -> b) -> a -> b | |
| print :: String -> IO () | |
| test = "blub" | |
| print ("bla bla bla " <> test <> " blub") | |
| ($) print ("bla bla bla " <> test <> " blub") | |
| print $ "bla bla bla " <> test <> " blub" | |
| map :: forall a b. Num a => (a -> b) -> [a] -> [b] |
SystemFw
/ Conversions.scala
Last active
April 23, 2021 07:53
Typed schema conversion with shapeless
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
| object Conversions { | |
| import cats._, implicits._, data.ValidatedNel | |
| import mouse._, string._, option._ | |
| import shapeless._, labelled._ | |
| private type Result[A] = ValidatedNel[ParseFailure, A] | |
| case class ParseFailure(error: String) | |
| trait Convert[V] { |