package
namegen
Type Members
-
-
type
NameDisj[E, A] = IndexedStateT[[β]\/[E, β], NameGen, NameGen, A]
-
-
type
NameT[M[_], A] = IndexedStateT[M, NameGen, NameGen, A]
Value Members
-
implicit
val
NameGenMonoid: Monoid[NameGen]
-
def
emit[F[_], A](v: A)(implicit arg0: Monad[F]): NameT[F, A]
-
def
emitName[F[_], A](v: State[NameGen, A])(implicit arg0: Monad[F]): NameT[F, A]
-
def
freshName(label: String): State[NameGen, String]
-