module Solutions where import Control.Lens (view) import Dovin.Types (stepNumber) import qualified Solutions.ChannelFireball import qualified Solutions.Core19_9 import qualified Solutions.Dominaria5 import qualified Solutions.Example import qualified Solutions.ExplorersOfIxalanContest import qualified Solutions.GuildsOfRavnica1 import qualified Solutions.GuildsOfRavnica3 import qualified Solutions.GuildsOfRavnica8 import qualified Solutions.GuildsOfRavnica9 import qualified Solutions.GuildsOfRavnicaPre2 import qualified Solutions.RavnicaAllegiance3 import qualified Solutions.RavnicaAllegiance4 import qualified Solutions.RavnicaAllegiance5 import qualified Solutions.RavnicaAllegiance7 import qualified Solutions.RavnicaAllegiancePre2 import qualified Solutions.RivalsOfIxalan7 import qualified Solutions.UltimateMasters import qualified Solutions.WarOfTheSpark2 all :: [([Char], GameMonad (), Step -> Formatter)] all = [ ([Char] "ChannelFireball", GameMonad () Solutions.ChannelFireball.solution, Step -> Formatter Solutions.ChannelFireball.formatter), ([Char] "Core19_9", GameMonad () Solutions.Core19_9.solution, Int -> Formatter forall a. (Eq a, Num a) => a -> Formatter Solutions.Core19_9.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "Dominaria5", GameMonad () Solutions.Dominaria5.solution, Int -> Formatter forall a. (Eq a, Num a) => a -> Formatter Solutions.Dominaria5.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "Example", GameMonad () Solutions.Example.solution, Step -> Formatter Solutions.Example.formatter), ([Char] "ExplorersOfIxalanContest", GameMonad () Solutions.ExplorersOfIxalanContest.solution, Int -> Formatter Solutions.ExplorersOfIxalanContest.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "GuildsOfRavnica1", GameMonad () Solutions.GuildsOfRavnica1.solution, Int -> Formatter forall p. p -> Formatter Solutions.GuildsOfRavnica1.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "GuildsOfRavnica3", GameMonad () Solutions.GuildsOfRavnica3.solution, Int -> Formatter forall p. p -> Formatter Solutions.GuildsOfRavnica3.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "GuildsOfRavnica8", GameMonad () Solutions.GuildsOfRavnica8.solution, Int -> Formatter Solutions.GuildsOfRavnica8.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "GuildsOfRavnica9", GameMonad () Solutions.GuildsOfRavnica9.solution, Int -> Formatter Solutions.GuildsOfRavnica9.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "GuildsOfRavnicaPre2", GameMonad () Solutions.GuildsOfRavnicaPre2.solution, Int -> Formatter forall p. p -> Formatter Solutions.GuildsOfRavnicaPre2.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "RavnicaAllegiance3", GameMonad () Solutions.RavnicaAllegiance3.solution, Step -> Formatter forall p. p -> Formatter Solutions.RavnicaAllegiance3.formatter), ([Char] "RavnicaAllegiance4", GameMonad () Solutions.RavnicaAllegiance4.solution, Step -> Formatter forall p. p -> Formatter Solutions.RavnicaAllegiance4.formatter), ([Char] "RavnicaAllegiance5", GameMonad () Solutions.RavnicaAllegiance5.solution, Step -> Formatter Solutions.RavnicaAllegiance5.formatter), ([Char] "RavnicaAllegiance7", GameMonad () Solutions.RavnicaAllegiance7.solution, Step -> Formatter forall p. p -> Formatter Solutions.RavnicaAllegiance7.formatter), ([Char] "RavnicaAllegiancePre2", GameMonad () Solutions.RavnicaAllegiancePre2.solution, Step -> Formatter Solutions.RavnicaAllegiancePre2.formatter), ([Char] "RivalsOfIxalan7", GameMonad () Solutions.RivalsOfIxalan7.solution, Int -> Formatter forall a. (Eq a, Num a) => a -> Formatter Solutions.RivalsOfIxalan7.formatter (Int -> Formatter) -> (Step -> Int) -> Step -> Formatter forall b c a. (b -> c) -> (a -> b) -> a -> c . Getting Int Step Int -> Step -> Int forall s (m :: * -> *) a. MonadReader s m => Getting a s a -> m a view Getting Int Step Int Lens' Step Int stepNumber), ([Char] "UltimateMasters", GameMonad () Solutions.UltimateMasters.solution, Step -> Formatter Solutions.UltimateMasters.formatter), ([Char] "WarOfTheSpark2", GameMonad () Solutions.WarOfTheSpark2.solution, Step -> Formatter forall p. p -> Formatter Solutions.WarOfTheSpark2.formatter) ]