ALife.Creatur.Genetics.BRGCWord16

Utilities for working with genes that are encoded as a sequence of 16-bit words, using a Binary Reflected Gray Code (BRGC).

A Gray code maps values to codes in a way that guarantees that the codes for two consecutive values will differ by only one bit. This feature can be useful in evolutionary programming because the genes resulting from a crossover operation are likely to be similar to the inputs. This helps to ensure that offspring are similar to their parents, as any radical changes from one generation to the next are the result of mutation alone.

Documentation

class Genetic g where

A class representing anything which is represented in, and determined by, an agent's genome. This might include traits, parameters, "organs" (components of agents), or even entire agents. Instances of this class can be thought of as genes, i.e., instructions for building an agent.

Minimal complete definition

Nothing

Methods

put :: g -> Writer ()

Writes a gene to a sequence.

default put :: (Generic g, GGenetic (Rep g)) => g -> Writer ()

get :: Reader (Either [String] g)

Reads the next gene in a sequence.

default get :: (Generic g, GGenetic (Rep g)) => Reader (Either [String] g)

getWithDefault :: g -> Reader g

getWithName :: String -> Reader (Either [String] g)

Instances

Genetic Bool

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Bool -> Writer ()

get :: Reader (Either [String] Bool)

getWithDefault :: Bool -> Reader Bool

getWithName :: String -> Reader (Either [String] Bool)

Genetic Char

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Char -> Writer ()

get :: Reader (Either [String] Char)

getWithDefault :: Char -> Reader Char

getWithName :: String -> Reader (Either [String] Char)

Genetic Int

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Int -> Writer ()

get :: Reader (Either [String] Int)

getWithDefault :: Int -> Reader Int

getWithName :: String -> Reader (Either [String] Int)

Genetic Word8

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Word8 -> Writer ()

get :: Reader (Either [String] Word8)

getWithDefault :: Word8 -> Reader Word8

getWithName :: String -> Reader (Either [String] Word8)

Genetic Word16

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Word16 -> Writer ()

get :: Reader (Either [String] Word16)

getWithDefault :: Word16 -> Reader Word16

getWithName :: String -> Reader (Either [String] Word16)

Genetic a => Genetic [a]

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: [a] -> Writer ()

get :: Reader (Either [String] [a])

getWithDefault :: [a] -> Reader [a]

getWithName :: String -> Reader (Either [String] [a])

Genetic a => Genetic (Maybe a)

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Maybe a -> Writer ()

get :: Reader (Either [String] (Maybe a))

getWithDefault :: Maybe a -> Reader (Maybe a)

getWithName :: String -> Reader (Either [String] (Maybe a))

(Genetic a, Genetic b) => Genetic (Either a b)

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: Either a b -> Writer ()

get :: Reader (Either [String] (Either a b))

getWithDefault :: Either a b -> Reader (Either a b)

getWithName :: String -> Reader (Either [String] (Either a b))

(Genetic a, Genetic b) => Genetic (a, b)

Defined in ALife.Creatur.Genetics.BRGCWord16

Methods

put :: (a, b) -> Writer ()

get :: Reader (Either [String] (a, b))

getWithDefault :: (a, b) -> Reader (a, b)

getWithName :: String -> Reader (Either [String] (a, b))

type Sequence = [Word16]

type Writer = StateT Sequence Identity

write :: Genetic x => x -> Sequence

runWriter :: Writer () -> Sequence

type Reader = StateT (Sequence, Int) Identity

read :: Genetic g => Sequence -> Either [String] g

runReader :: Reader g -> Sequence -> g

copy :: Reader Sequence

Return the entire genome.

consumed :: Reader Sequence

Return the portion of the genome that has been read.

type DiploidSequence = (Sequence, Sequence)

type DiploidReader = StateT ((Sequence, Int), (Sequence, Int)) Identity

readAndExpress :: (Genetic g, Diploid g) => DiploidSequence -> Either [String] g

runDiploidReader :: DiploidReader g -> DiploidSequence -> g

getAndExpress :: (Genetic g, Diploid g) => DiploidReader (Either [String] g)

Read the next pair of genes from twin sequences of genetic information, and return the resulting gene (after taking into account any dominance relationship) and the remaining (unread) portion of the two nucleotide strands.

getAndExpressWithDefault :: (Genetic g, Diploid g) => g -> DiploidReader g

copy2 :: DiploidReader DiploidSequence

Return the entire genome.

consumed2 :: DiploidReader DiploidSequence

Return the portion of the genome that has been read.

putRawWord16 :: Word16 -> Writer ()

Write a Word16 value to the genome without encoding it

getRawWord16 :: Reader (Either [String] Word16)

Read a Word16 value from the genome without decoding it

putRawWord16s :: [Word16] -> Writer ()

Write a raw sequence of Word16 values to the genome

getRawWord16s :: Int -> Reader (Either [String] [Word16])

Read a raw sequence of Word16 values from the genome