import scala.annotation.tailrec
object Main5 extends App {
type Pred[A] = A => Boolean;
@tailrec
def forall[A](a : Seq[A])(pred: (A) => Boolean) : Boolean = {
if (a.isEmpty)
true;
else if (!pred(a.head))
false
else
forall(a.tail)(pred)
}
val (nieparzyste : Pred[Int]) = (x : Int) => x % 2 != 0;
var a = Seq(1,3,5,7);
var b = Seq(1,3,6,7);
println("Dla " + a.mkString("[", ", ", "]") + ": " + forall(a)(nieparzyste));
println("Dla " + b.mkString("[", ", ", "]") + ": " + forall(b)(nieparzyste));
}
{"html5":"htmlmixed","css":"css","javascript":"javascript","php":"php","python":"python","ruby":"ruby","lua":"text\/x-lua","bash":"text\/x-sh","go":"go","c":"text\/x-csrc","cpp":"text\/x-c++src","diff":"diff","latex":"stex","sql":"sql","xml":"xml","apl":"apl","asterisk":"asterisk","c_loadrunner":"text\/x-csrc","c_mac":"text\/x-csrc","coffeescript":"text\/x-coffeescript","csharp":"text\/x-csharp","d":"d","ecmascript":"javascript","erlang":"erlang","groovy":"text\/x-groovy","haskell":"text\/x-haskell","haxe":"text\/x-haxe","html4strict":"htmlmixed","java":"text\/x-java","java5":"text\/x-java","jquery":"javascript","mirc":"mirc","mysql":"sql","ocaml":"text\/x-ocaml","pascal":"text\/x-pascal","perl":"perl","perl6":"perl","plsql":"sql","properties":"text\/x-properties","q":"text\/x-q","scala":"scala","scheme":"text\/x-scheme","tcl":"text\/x-tcl","vb":"text\/x-vb","verilog":"text\/x-verilog","yaml":"text\/x-yaml","z80":"text\/x-z80"}