This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<migrationMap> | |
<name value="Botania 1.18.2 to 1.19.2" /> | |
<description value="Botania mappening changes" /> | |
<order value="0" /> | |
<entry oldName="vazkii.botania.xplat.IXplatAbstractions" newName="vazkii.botania.xplat.XplatAbstractions" type="class" /> | |
<entry oldName="vazkii.botania.xplat.IClientXplatAbstractions" newName="vazkii.botania.xplat.ClientXplatAbstractions" type="class" /> | |
<entry oldName="vazkii.botania.test.block.PistonRelayTest" newName="vazkii.botania.test.block.ForceRelayTest" type="class" /> | |
<entry oldName="vazkii.botania.test.item.FlowerBagTest" newName="vazkii.botania.test.item.FlowerPouchTest" type="class" /> | |
<entry oldName="vazkii.botania.test.item.SpawnerMoverTest" newName="vazkii.botania.test.item.LifeAggregatorTest" type="class" /> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- | NOTE: not actually tested. It compiles, but there may | |
-- | be errors when calling it. | |
module MapRun where | |
import Prelude | |
import Data.Functor.Variant (VariantF, expand, inj) | |
import Data.Functor.Variant as VariantF | |
import Data.Symbol (class IsSymbol) | |
import Prim.Row as R |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Data.Tuple.Nested | |
import Control.Monad.Cont.Trans | |
import Control.Parallel | |
import Effect (Effect) | |
import Effect.Console (log) | |
import Effect.Timer |