Skip to content

Instantly share code, notes, and snippets.

View akiomik's full-sized avatar
🇺🇦
I may be slow to respond.

Akiomi KAMAKURA akiomik

🇺🇦
I may be slow to respond.
View GitHub Profile
#!/bin/sh
# Licensed to the Apache Software Foundation (ASF) under one or more
# contributor license agreements. See the NOTICE file distributed with
# this work for additional information regarding copyright ownership.
# The ASF licenses this file to You under the Apache License, Version 2.0
# (the "License"); you may not use this file except in compliance with
# the License. You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
import shapeless._
import shapeless.Nat._
import shapeless.ops._
import shapeless.ops.nat._
trait FizzBuzz[N <: Nat] {
type R3 <: Nat
type R5 <: Nat
def ti: ToInt[N]