Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance. Project price only 1 $
You can buy this project and download/modify it how often you want.
/*
* Copyright 2021-2024 Disney Streaming
*
* Licensed under the Tomorrow Open Source Technology License, Version 1.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* https://disneystreaming.github.io/TOST-1.0.txt
*
* 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 smithy4s
package object kinds {
type OptionK[F[_], A] = Option[F[A]]
// format: off
type FunctorAlgebra[Alg[_[_, _, _, _, _]], F[_]] = Alg[Kind1[F]#toKind5]
type FunctorInterpreter[Op[_, _, _, _, _], F[_]] = PolyFunction5[Op, Kind1[F]#toKind5]
type BiFunctorAlgebra[Alg[_[_, _, _, _, _]], F[_, _]] = Alg[Kind2[F]#toKind5]
type BiFunctorInterpreter[Op[_, _, _, _, _], F[_,_]] = PolyFunction5[Op, Kind2[F]#toKind5]
// format: on
type Kind1[F[_]] = {
type toKind2[E, O] = F[O]
type toKind5[I, E, O, SI, SO] = F[O]
type optional5[I, E, O, SI, SO] = Option[F[O]]
type handler[I, E, O, SI, SO] = I => F[O]
}
type Kind2[F[_, _]] = {
type toKind5[I, E, O, SI, SO] = F[E, O]
type optional5[I, E, O, SI, SO] = Option[F[E, O]]
type handler[I, E, O, SI, SO] = I => F[E, O]
}
type Kind5[F[_, _, _, _, _]] = {
type optional[I, E, O, SI, SO] = Option[F[I, E, O, SI, SO]]
type handler[I, E, O, SI, SO] = I => F[I, E, O, SI, SO]
}
}
