20e7e48 · grenade · git.iko.soy

src/Grenade/Core/Shape.hs+1

compare with master

unifiedsplit

@@ -32,6 +32,7 @@ module Grenade.Core.Shape (

32import Control.DeepSeq (NFData (..))

33import Control.Monad.Random ( MonadRandom, getRandom )

34

35+import Data.Proxy

35import Data.Singletons

36import Data.Singletons

36import Data.Singletons.TypeLits

37import Data.Singletons.TypeLits

37import Data.Vector.Storable ( Vector )

38import Data.Vector.Storable ( Vector )

src/Grenade/Graph/GraphNetwork.hsdeleted−37

@@ -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

src/Grenade/Recurrent/Layers/BasicRecurrent.hs+5

@@ -6,11 +6,16 @@

6{-# LANGUAGE MultiParamTypeClasses #-}

7{-# LANGUAGE FlexibleContexts #-}

8{-# LANGUAGE UndecidableInstances #-}

9+

10+-- GHC 7.10 doesn't see recurrent run functions as total.

11+{-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}

9module Grenade.Recurrent.Layers.BasicRecurrent (

12module Grenade.Recurrent.Layers.BasicRecurrent (

10 BasicRecurrent (..)

13 BasicRecurrent (..)

11 , randomBasicRecurrent

14 , randomBasicRecurrent

12 ) where

15 ) where

13

16

17+

18+

14import Control.Monad.Random ( MonadRandom, getRandom )

19import Control.Monad.Random ( MonadRandom, getRandom )

15

20

16import Data.Singletons.TypeLits

21import Data.Singletons.TypeLits

src/Grenade/Recurrent/Layers/LSTM.hs+3

@@ -8,6 +8,9 @@

8{-# LANGUAGE MultiParamTypeClasses #-}

9{-# LANGUAGE FlexibleContexts #-}

10{-# LANGUAGE ViewPatterns #-}

11+

12+-- GHC 7.10 doesn't see recurrent run functions as total.

13+{-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}

11module Grenade.Recurrent.Layers.LSTM (

14module Grenade.Recurrent.Layers.LSTM (

12 LSTM (..)

15 LSTM (..)

13 , LSTMWeights (..)

16 , LSTMWeights (..)