/*
 * Copyright 2015 Creative Scala
 *
 * 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 doodle
package syntax

import doodle.algebra.{Picture, Size}

trait SizeSyntax {
  implicit class SizePictureOps[Alg[x[_]] <: Size[x], F[_], A](
      picture: Picture[Alg, F, A]) {
    def height: Picture[Alg, F, Double] =
      Picture { implicit algebra: Alg[F] =>
        algebra.height(picture(algebra))
      }

    def width: Picture[Alg, F, Double] =
      Picture { implicit algebra: Alg[F] =>
        algebra.width(picture(algebra))
      }

    def size: Picture[Alg, F, (Double, Double)] =
      Picture { implicit algebra: Alg[F] =>
        algebra.size(picture(algebra))
      }
  }
}

Add syntax for Size algebra
Add syntax for Size algebra

This syntax is not much use without at least a Functor constraint on the
F in Picture
