fork(1) download
copy 
  1. object Main extends App {
  2.   type ¬[A] = A => Nothing
  3.   type ∨[T, U] = ¬[¬[T] with ¬[U]]
  4.   type ¬¬[A] = ¬[¬[A]]
  5.   type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) }
  6.  
  7.   def dashboardStat[LabelT: (scala.xml.Elem |∨| String)#λ,
  8.                     ValueT: (scala.xml.Elem |∨| String)#λ]
  9.                     (target: String, label: LabelT, value: ValueT, icon: String) =
  10.     <a href={target}>
  11.       <div class="visual">
  12.         <i class={s"fa fa-$target"}></i>
  13.       </div>
  14.       <div class="details">
  15.         <span class="content">{label}</span>
  16.         <span class="value">{value}</span>
  17.       </div>
  18.       <i class="fa fa-play-circle more"></i>
  19.     </a>
  20.  
  21.   println(dashboardStat("/", <strong>Hello, world!</strong>, "$200.00", "money"))
  22. }
  23.  
Success #stdin #stdout 0.4s 382144KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
<a href="/">
      <div class="visual">
        <i class="fa fa-/"></i>
      </div>
      <div class="details">
        <span class="content"><strong>Hello, world!</strong></span>
        <span class="value">$200.00</span>
      </div>
      <i class="fa fa-play-circle more"></i>
    </a>
https://ideone.com/cTAXM8
language:
Scala (scala 2.12.8)
created:
9 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!