trackler 2.0.8.3 → 2.0.8.4

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: f0c444d7b94d362ffd61d031a2c19aa0648aec67
-  data.tar.gz: b89e89a7208130f5c3609cdfc7d489b9049ceb7e
+  metadata.gz: 057df974f1cb8cbe89eb10ab81dc89e9eac54905
+  data.tar.gz: cfef594bcbd45d09c177baec8bfaa6faf2cfa83d
 SHA512:
-  metadata.gz: 04579958808938ab72cb8921a7c432c814a219a283b375a732da663b2060cf688640a7cd7ca0f185af4d8c5d2874fcd88c51be3ec0db0f39dde08c46f8203e4a
-  data.tar.gz: 4b4b7d1cde0197fba10b59031fb9355ee2fa4e4a36f5a131b198df6129516e7891ef05f10f3d4117b909a71d6c3ef27b5b91b1bed520d4288159c294427779cb
+  metadata.gz: 43581a5b366c4c07936515ed2ce716d4c6e358dc96f1eafb5b26bc89a75d5624d3e69e864a38497e83d88719bf881536cd42b8f4c07320cdb754285c4895df9b
+  data.tar.gz: 9177f3b84ea412493fe66da72d52b774c474a738091441293a843321fa7316c67160735ec893719a28127995c0b544e46be5dec38407f8cc67a14f3cd0c5fdae

data/lib/trackler/version.rb

@@ -1,3 +1,3 @@
 module Trackler
-  VERSION = "2.0.8.3"
+  VERSION = "2.0.8.4"
 end

data/tracks/go/config.json

@@ -126,9 +126,12 @@
       ]
     },
     {
-      "difficulty": 1,
+      "difficulty": 2,
       "slug": "difference-of-squares",
-      "topics": []
+      "topics": [
+        "Algorithms",
+        "Mathematics"
+      ]
     },
     {
       "difficulty": 1,

data/tracks/go/exercises/strain/example.go

@@ -1,5 +1,7 @@
 package strain
 
+const testVersion = 1
+
 type Ints []int
 
 func (s Ints) Keep(f func(int) bool) (r Ints) {

data/tracks/go/exercises/strain/strain_test.go

@@ -19,6 +19,14 @@ import (
 	"testing"
 )
 
+const targetTestVersion = 1
+
+func TestTestVersion(t *testing.T) {
+	if testVersion != targetTestVersion {
+		t.Fatalf("Found testVersion = %v, want %v", testVersion, targetTestVersion)
+	}
+}
+
 func lt10(x int) bool { return x < 10 }
 func gt10(x int) bool { return x > 10 }
 func odd(x int) bool  { return x&1 == 1 }

data/tracks/idris/config.json

@@ -31,6 +31,14 @@
         "Booleans",
         "Arithmetic"
       ]
+    },
+    {
+      "slug": "hamming",
+      "difficulty": 2,
+      "topics": [
+        "Export Modifiers",
+        "Vectors"
+      ]
     }
   ]
 }

data/tracks/idris/exercises/hamming/Hamming.ipkg

@@ -0,0 +1,5 @@
+package hamming
+
+sourcedir = src
+modules = Hamming, Test.Hamming
+tests = Test.Hamming.runTests

data/tracks/idris/exercises/hamming/Makefile

@@ -0,0 +1,23 @@
+idris ?= idris
+pkg   := Hamming
+
+.PHONY: build clean clobber install rebuild test
+
+all: build
+
+build:
+	@ ${idris} --build ${pkg}.ipkg
+
+clean:
+	@ ${idris} --clean ${pkg}.ipkg
+
+clobber: clean
+	@ find . -name '*.ibc' -delete
+
+install:
+	@ ${idris} --install ${pkg}.ipkg
+
+rebuild: clean build
+
+test:
+	@ ${idris} --testpkg ${pkg}.ipkg

data/tracks/idris/exercises/hamming/src/Hamming.idr

@@ -0,0 +1,10 @@
+module Hamming
+
+import Data.Vect
+
+-- Add the correct export modifier here...
+data Nucleotide -- insert definition here
+
+-- Add the correct export modifier here...
+hamming_distance : Vect n Nucleotide -> Vect n Nucleotide -> Nat
+hamming_distance s1 s2 = ?hamming_distance_rhs

data/tracks/idris/exercises/hamming/src/Test/Hamming.idr

@@ -0,0 +1,66 @@
+module Test.Hamming
+
+import Data.Vect
+import Hamming
+
+%access export
+
+assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
+assertEq g e = putStrLn $ if g == e then "Test Passed" else "Test Failed"
+
+testIdenticalStrands : IO ()
+testIdenticalStrands = assertEq (hamming_distance [A] [A]) 0
+
+testLongIdenticalStrands : IO ()
+testLongIdenticalStrands = assertEq (hamming_distance [G,G,A,C,T,G,A] [G,G,A,C,T,G,A]) 0
+
+testDifferentSingleNucleotideStrands : IO ()
+testDifferentSingleNucleotideStrands = assertEq (hamming_distance [A] [G]) 1
+
+testMaximumDistanceInSmallNucleotideStrands : IO ()
+testMaximumDistanceInSmallNucleotideStrands = assertEq (hamming_distance [A,G] [C,T]) 2
+
+testSmallDifferenceInSmallNucleotideStrands : IO ()
+testSmallDifferenceInSmallNucleotideStrands = assertEq (hamming_distance [A,T] [C,T]) 1
+
+testSmallDistance : IO ()
+testSmallDistance = assertEq (hamming_distance [G,G,A,C,G] [G,G,T,C,G]) 1
+
+testSmallDistanceInLongStrands : IO ()
+testSmallDistanceInLongStrands = assertEq (hamming_distance [A,C,C,A,G,G,G] [A,C,T,A,T,G,G]) 2
+
+testNonUniqueCharacterInFirstStrand : IO ()
+testNonUniqueCharacterInFirstStrand = assertEq (hamming_distance [A,G,A] [A,G,G]) 1
+
+testNonUniqueCharacterInSecondStrand : IO ()
+testNonUniqueCharacterInSecondStrand = assertEq (hamming_distance [A,G,G] [A,G,A]) 1
+
+testSameNucleotidesInDifferentPositions : IO ()
+testSameNucleotidesInDifferentPositions = assertEq (hamming_distance [T,A,G] [G,A,T]) 2
+
+testLargeDistance : IO ()
+testLargeDistance = assertEq (hamming_distance [G,A,T,A,C,A] [G,C,A,T,A,A]) 4
+
+testLargeDistanceInOffByOneStrand : IO ()
+testLargeDistanceInOffByOneStrand = assertEq (hamming_distance [G,G,A,C,G,G,A,T,T,C,T,G] [A,G,G,A,C,G,G,A,T,T,C,T]) 9
+
+testEmptyStrands : IO ()
+testEmptyStrands = 
+    let empty = the (Vect _ Nucleotide) [] in
+    assertEq (hamming_distance empty empty) 0
+
+runTests : IO ()
+runTests = do
+    testIdenticalStrands
+    testLongIdenticalStrands
+    testDifferentSingleNucleotideStrands
+    testMaximumDistanceInSmallNucleotideStrands
+    testSmallDifferenceInSmallNucleotideStrands
+    testSmallDistance
+    testSmallDistanceInLongStrands
+    testNonUniqueCharacterInFirstStrand
+    testNonUniqueCharacterInSecondStrand
+    testSameNucleotidesInDifferentPositions
+    testLargeDistance
+    testLargeDistanceInOffByOneStrand
+    testEmptyStrands

data/tracks/idris/exercises/hamming/src/example.idr

@@ -0,0 +1,19 @@
+module Hamming
+
+import Data.Vect
+
+public export
+data Nucleotide = A | C | G | T
+
+public export
+implementation Eq Nucleotide where
+  A == A = True
+  C == C = True
+  G == G = True
+  T == T = True
+  _ == _ = False
+
+export
+hamming_distance : Eq a => Vect n a -> Vect n a -> Nat
+hamming_distance s1 s2 = 
+  fst $ filter ((/=) 0) $ map (\(n1,n2) => if n1 == n2 then 0 else 1) $ zip s1 s2

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: trackler
 version: !ruby/object:Gem::Version
-  version: 2.0.8.3
+  version: 2.0.8.4
 platform: ruby
 authors:
 - Katrina Owen
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-02-23 00:00:00.000000000 Z
+date: 2017-02-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rubyzip
@@ -3823,6 +3823,11 @@ files:
 - tracks/idris/docs/RESOURCES.md
 - tracks/idris/docs/TESTS.md
 - tracks/idris/exercises/.keep
+- tracks/idris/exercises/hamming/Hamming.ipkg
+- tracks/idris/exercises/hamming/Makefile
+- tracks/idris/exercises/hamming/src/Hamming.idr
+- tracks/idris/exercises/hamming/src/Test/Hamming.idr
+- tracks/idris/exercises/hamming/src/example.idr
 - tracks/idris/exercises/hello-world/HelloWorld.ipkg
 - tracks/idris/exercises/hello-world/Makefile
 - tracks/idris/exercises/hello-world/src/Test/HelloWorld.idr