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 java.util.Date | |
| import io.getquill._ | |
| import scala.concurrent.{Await, ExecutionContext} | |
| import scala.concurrent.duration._ | |
| import org.joda.time.DateTime | |
| case class Users( | |
| id: String, |
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
| type DSL<'next> = | |
| | Get of string * (string -> 'next) | |
| | Set of string * string * 'next | |
| | End | |
| with static member fmap f = function | |
| | Get (k, c) -> Get (k, f << c) | |
| | Set (k, v, c) -> Set (k, v, f c) | |
| | End -> End | |
| type FreeDSL<'a> = |
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
| module Main where | |
| import Prelude | |
| import Control.Monad.Eff (Eff) | |
| import Control.Monad.Eff.Console (CONSOLE, log) | |
| data MyMaybe a = None | Some a | |
| instance functorMyMaybe :: Functor MyMaybe where | |
| map _ None = None |