@@ -1,37 +0,0 @@
1−{-# LANGUAGE DataKinds #-}
2−{-# LANGUAGE GADTs #-}
3−{-# LANGUAGE KindSignatures #-}
4−{-# LANGUAGE ScopedTypeVariables #-}
5−{-# LANGUAGE TypeOperators #-}
6−{-# LANGUAGE TypeFamilies #-}
7−{-# LANGUAGE PolyKinds #-}
8−{-# LANGUAGE MultiParamTypeClasses #-}
9−{-# LANGUAGE FlexibleContexts #-}
10−{-# LANGUAGE FlexibleInstances #-}
11−{-# LANGUAGE LambdaCase #-}
12−
13−module Grenade.Graph.Network (
14− Layer (..)
15− , UpdateLayer (..)
16− ) where
17−
18−import Control.Monad.Random (MonadRandom)
19−import Data.Singletons
20−import Data.Singletons.Prelude
21−
22−import GHC.TypeLits
23−
24−import Grenade.Core.Shape
25−import Grenade.Core.Network ( UpdateLayer (..), Layer (..) )
26−
27−-- | Type of a DAG network
28−
29−data Fin :: Nat -> * where
30− Fin0 :: Fin (n + 1)
31− FinS :: Fin n -> Fin (n + 1)
32−
33−data Edge :: Nat -> * where
34− Edge :: Shape -> Fin n -> Edge n
35−
36−data Node a n where
37− Node :: a -> [Edge n] -> Node a n