Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@artemisSystem
artemisSystem / botania.xml
Last active January 16, 2023 16:56
IntelliJ mapping file that fixes the vast majority of class renames from 1.18.2 to 1.19.2 botania.
<?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" />
@artemisSystem
artemisSystem / MapRun.purs
Created January 8, 2023 09:22
Module for changing every field of a `Run` of a certain functor using a natural transformation
-- | 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
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