From d6f40b8570b58163aa0d2fc6f6ea2949098e4d75 Mon Sep 17 00:00:00 2001 From: Veit Heller Date: Thu, 1 Apr 2021 09:44:03 +0200 Subject: [PATCH] fix: remove broken file (#1194) --- core/Collection.carp | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 core/Collection.carp diff --git a/core/Collection.carp b/core/Collection.carp deleted file mode 100644 index aff8abd1..00000000 --- a/core/Collection.carp +++ /dev/null @@ -1,15 +0,0 @@ -(definterface unsafe-nth (Fn [(Ref (a b) c) Int] &b)) -(implements unsafe-nth Array.unsafe-nth) -(implements unsafe-nth StaticArray.unsafe-nth) -(definterface length (Fn [(Ref (a b))] Int)) -(implements unsafe-nth Array.length) -(implements unsafe-nth StaticArray.length) - -(defmodule Collections - (defn empty? [a] - (= 0 (length a))) - (defn first [a] - (if (empty? a) - (Maybe.Nothing) - (Maybe.Just @(unsafe-nth a 0)))) -)