Type Members

1.  sealed trait DeclAlg[F[_, _], A] extends AnyRef
2.  final case class FetchVar[A](id: Int, pos: Option[SourcePos], compilerPos: SourcePos) extends Product with Serializable
3.  abstract class Language[F[_, _]] extends AnyRef
4.  trait ResolverArrowDsl[F[_]] extends Language[[β$0$, γ$1$]Resolver[F, β$0$, γ$1$]]
5.  type ResolverDecl[F[_], A] = Free[[β$2$]DeclAlg[[β$0$, γ$1$]Resolver[F, β$0$, γ$1$], β$2$], A]
6.  type ResolverDeclAlg[F[_], A] = DeclAlg[[β$0$, γ$1$]Resolver[F, β$0$, γ$1$], A]
7.  final case class Var[A](impl: FreeApplicative[FetchVar, A]) extends AnyVal with Product with Serializable