creatur-4.3.3: Framework for artificial life experiments.

Safe HaskellNone



A reproduction method for artificial lifeforms where:

  • Each agent has a single strand of genetic information.
  • Each child has two parents.
  • Each parent contributes approximately half of its genetic information to the offspring.



class Reproductive a whereSource

A species that reproduces, transmitting genetic information to its offspring. Minimal complete definition: all except mate.

Associated Types

type Base a Source

A sequence of hereditary information for an agent.


recombine :: RandomGen r => a -> a -> Rand r (Base a)Source

Recombines the genetic information from two parents, creating genetic information for potential offspring.

Typically this involves the following steps:

  1. Recombine the two strands of genetic information (one from each parent) to obtain two new strands.
  2. Discard one strand, and return the remaining one.

build :: AgentId -> Base a -> Either [String] aSource

Builds an agent based on the genome provided, if it is possible to do so.

makeOffspring :: RandomGen r => a -> a -> AgentId -> Rand r (Either [String] a)Source

makeOffspring (parent1, parent2) name uses the genetic information from parent1 and parent2 to produce a child with the agent ID name. The default implementation:

  1. Calls recombine to create a genome for the child.
  2. Calls build to construct a child with this genome.