p
smithy4s
package smithy4s
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- smithy4s
- ExistentialsPlatformCompat
- TypeAliases
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
type
Existential[F[_]] = F[_]
- Definition Classes
- ExistentialsPlatformCompat
- type GenLift[F[_]] = AnyRef { type λ[I, E, O, SI, SO] = F[O] }
- type Hint = Binding
-
type
Interpreter[Op[_, _, _, _, _], F[_]] = Transformation[Op, [I, E, O, SI, SO]F[O]]
- Definition Classes
- TypeAliases
-
type
Monadic[Alg[_[_, _, _, _, _]], F[_]] = Alg[[I, E, O, SI, SO]F[O]]
- Definition Classes
- TypeAliases
- type Schema[A] = smithy4s.schema.Schema[A]
- type Wrapped[F[_], G[_], A] = F[G[A]]
- type ~>[F[_], G[_]] = PolyFunction[F, G]