From 45ef64928fa2f8be1dc5b203144cb3d78357a887 Mon Sep 17 00:00:00 2001 From: Mark Farrell Date: Tue, 10 Mar 2015 17:50:28 -0300 Subject: [PATCH 1/2] Data.Graph & Data.Polyhedra Signed-off-by: Mark Farrell --- libs/base/Data/Graph.idr | 8 ++++++++ libs/base/Data/Polyhedra.idr | 9 +++++++++ 2 files changed, 17 insertions(+) create mode 100644 libs/base/Data/Graph.idr create mode 100644 libs/base/Data/Polyhedra.idr diff --git a/libs/base/Data/Graph.idr b/libs/base/Data/Graph.idr new file mode 100644 index 000000000..14c75e147 --- /dev/null +++ b/libs/base/Data/Graph.idr @@ -0,0 +1,8 @@ +module Data.Graph + +import Data.Vect + +data Edge e = MkEdge e e + +data Graph : Nat −> Nat −> Type −> Type −> Type where + MkGraph : Vect m v −> Vect n (Edge k) −> Graph m n v k diff --git a/libs/base/Data/Polyhedra.idr b/libs/base/Data/Polyhedra.idr new file mode 100644 index 000000000..8e8e9003b --- /dev/null +++ b/libs/base/Data/Polyhedra.idr @@ -0,0 +1,9 @@ +module Data.Polyhedra + +import Data.Vect +import Data.Graph + +data Face f = MkFace (Vect n f) + +data Polyhedron : Nat -> Nat -> Nat -> Type -> Type where + MkPolyhedron : Vect k v -> Vect m (Edge v) -> Vect n (Face v) -> Polyhedron k m n v From 57f1543cf9ee26f5e3c7a57026933191dcdf4029 Mon Sep 17 00:00:00 2001 From: Mark Farrell Date: Sat, 21 Mar 2015 19:46:30 +0000 Subject: [PATCH 2/2] Move Graph.idr & Polyhedra.idr to contrib. Signed-off-by: Mark Farrell --- libs/{base => contrib}/Data/Graph.idr | 0 libs/{base => contrib}/Data/Polyhedra.idr | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename libs/{base => contrib}/Data/Graph.idr (100%) rename libs/{base => contrib}/Data/Polyhedra.idr (100%) diff --git a/libs/base/Data/Graph.idr b/libs/contrib/Data/Graph.idr similarity index 100% rename from libs/base/Data/Graph.idr rename to libs/contrib/Data/Graph.idr diff --git a/libs/base/Data/Polyhedra.idr b/libs/contrib/Data/Polyhedra.idr similarity index 100% rename from libs/base/Data/Polyhedra.idr rename to libs/contrib/Data/Polyhedra.idr