vegowotenks/bf-optimize
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: StrictData + Unbounded Integer types

Browse source
This commit is contained in:
vegowotenks 2025-06-19 21:51:45 +02:00
parent 95f86c8660
commit 9484d097d4
1 changed files with 9 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/Language/Brainfuck/Instruction/Extended.hs
View file

@ -1,12 +1,16 @@
{-# LANGUAGE LambdaCase #-} {-# LANGUAGE LambdaCase #-}
{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE StrictData #-}
module Language.Brainfuck.Instruction.Extended (Operation(..), Interaction(..), ExtendedInstruction(Modify, Move, Interact, Jump), pattern IfNonZero, pattern WithOffset, mkIfNonZero, mkWithOffset, translationSize, parse) where module Language.Brainfuck.Instruction.Extended (Operation(..), Interaction(..), ExtendedInstruction(Modify, Move, Interact, Jump), pattern IfNonZero, pattern WithOffset, mkIfNonZero, mkWithOffset, translationSize, parse) where
import Data.Word (Word8) import Data.Word (Word8)
import Language.Brainfuck.Instruction.Compressed (CompressedInstruction)
import Data.Vector (Vector) import Data.Vector (Vector)
import Numeric.Natural (Natural)
import Language.Brainfuck.Instruction.Compressed (CompressedInstruction)
import qualified Data.Vector as Vector import qualified Data.Vector as Vector
import qualified Language.Brainfuck.Instruction.Compressed as CompressedInstruction import qualified Language.Brainfuck.Instruction.Compressed as CompressedInstruction
import Numeric.Natural (Natural)
data Operation data Operation
= Add = Add
@ -18,7 +22,7 @@ data Interaction
| Write | Write
deriving (Show) deriving (Show)
pattern WithOffset :: Int -> ExtendedInstruction -> ExtendedInstruction pattern WithOffset :: Integer -> ExtendedInstruction -> ExtendedInstruction
pattern WithOffset offset embedded <- AtOffset offset embedded pattern WithOffset offset embedded <- AtOffset offset embedded
where where
WithOffset offset embedded = mkWithOffset offset embedded WithOffset offset embedded = mkWithOffset offset embedded
@ -29,7 +33,7 @@ pattern IfNonZero instruction <- WhenNonZero instruction
IfNonZero instruction = mkIfNonZero instruction IfNonZero instruction = mkIfNonZero instruction
data ExtendedInstruction data ExtendedInstruction
= AtOffset Int ExtendedInstruction -- invariant, WithOffset may not nest itself = AtOffset Integer ExtendedInstruction -- invariant, WithOffset may not nest itself
| WhenNonZero ExtendedInstruction -- invariant, IfNonZero may not nest itself | WhenNonZero ExtendedInstruction -- invariant, IfNonZero may not nest itself
| Modify Operation Word8 | Modify Operation Word8
| Move Integer | Move Integer
@ -42,7 +46,7 @@ mkIfNonZero = \case
WhenNonZero i -> WhenNonZero i WhenNonZero i -> WhenNonZero i
instruction -> WhenNonZero instruction instruction -> WhenNonZero instruction
mkWithOffset :: Int -> ExtendedInstruction -> ExtendedInstruction mkWithOffset :: Integer -> ExtendedInstruction -> ExtendedInstruction
mkWithOffset offset = \case mkWithOffset offset = \case
AtOffset offset' i -> AtOffset (offset + offset') i AtOffset offset' i -> AtOffset (offset + offset') i
instruction -> AtOffset offset instruction instruction -> AtOffset offset instruction