iota

def animate[A <: View, B](animation: (ViewPropertyAnimator) ⇒ B, listener: Option[AnimatorListener]): (A) ⇒ IO[Future[A]]

def c[A <: ViewGroup]: cHelper[A]

def condK[A](ternary: Ternary[A]): Kestrel[A]

def defer[A](f: Kestrel[A])(implicit ec: ExecutionContext): (Future[A]) ⇒ IO[Future[A]]

def deferF[A](f: (A) ⇒ IO[Future[A]])(implicit ec: ExecutionContext): (Future[A]) ⇒ IO[Future[A]]

macro def id[A <: View](id: Int): Kestrel[A]

def kestrel[A, B](f: (A) ⇒ B): Kestrel[A]

macro def l[A <: ViewGroup](vs: IO[_ <: View]*)(implicit ctx: Context): IO[A]

final def landscape(implicit c: Context): Boolean

final def lp[V <: View](args: Any*): Kestrel[V]

final def lpK[V <: View, A, B](args: Any*)(k: (A) ⇒ B): Kestrel[V]

final def margins(left: Int, top: Int, right: Int, bottom: Int, all: Int): (MarginLayoutParams) ⇒ Unit

implicit macro def materializeActivity: Activity

implicit macro def materializeContext: Context

implicit macro def materializeIdType: ViewIdType[Any]

implicit macro def materializeSystemService[T]: SystemService[T]

implicit val nsd system service: SystemService[NsdManager]

def padding[A <: View](left: Int, top: Int, right: Int, bottom: Int, all: Int): Kestrel[A]

final def portrait(implicit c: Context): Boolean

package pure

beware: https://youtrack.jetbrains.com/issue/SCL-9888 https://issues.scala-lang.org/browse/SI-9658

def resolveAttr[A](attr: Int, f: (TypedValue) ⇒ A)(implicit ctx: Context): A

def single[A]: singleHelper[A]

def single0[A]: single0Helper[A]

def styleableAttrs[A](styleable: Array[Int], f: (TypedArray) ⇒ A)(implicit context: Context): A

def styledAttrs[A](attrs: AttributeSet, styleable: Array[Int], f: (TypedArray) ⇒ A)(implicit context: Context): A

final def sw(widthPx: Int)(implicit c: Context): Boolean

final def systemService[T](implicit s: SystemService[T], context: Context): T

implicit val telephony system service: SystemService[TelephonyManager]

final def v(minVersion: Int): Boolean

macro def w[A](implicit ctx: Context): IO[A]

def findView[A <: View](id: Int)(implicit arg0: ViewIdType[A], arg1: ClassTag[A], activity: Activity): A

def findViewOption[A <: View](id: Int)(implicit arg0: ViewIdType[A], arg1: ClassTag[A], activity: Activity): Option[A]