/* * Copyright 2017 Kailuo Wang * * Licensed 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 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package mainecoon import scala.annotation.{StaticAnnotation, compileTimeOnly} import Util._ import scala.meta._ import collection.immutable.Seq @compileTimeOnly("Cannot expand @finalAlg") class finalAlg extends StaticAnnotation { inline def apply(defn: Any): Any = meta { def enrich(ad: AlgDefn): TypeDefinition = { import ad._ import cls._ cls.copy( companion = companion.addStats( Seq[Stat]( q"def apply[..${cls.tparams}](implicit inst: $name[..${tArgs()}]): $name[..${tArgs()}] = inst" )) ) } enrichAlgebra(defn, false)(enrich) } }