Data.Module.List

Documentation

data Permutation

Constructors

Simple [Integer]

Complex (Integer -> Integer -> Integer)

Instances

Show Permutation

applyPermutation :: Permutation -> [a] -> [a]

complexPermutation :: Permutation -> Integer -> Integer -> Integer

simplePermutation :: Permutation -> Integer -> [Integer]

data ListAtom dX

Constructors

FailList

Modify Integer dX

Insert Integer

Delete Integer

Rearrange Permutation

Instances

Show dX => Show (ListAtom dX)

Module dX => PartialEdit (ListAtom dX)

split3 :: Integer -> [a] -> Maybe ([a], a, [a])