AI.Heukarya.Gene.Dynamic

a implement of Gene

implements of Gene

evalTreeGene :: HeukaryaGene d => Tree d -> d

Transform a syntax tree to a expression

geneTypeRep :: HeukaryaGene d => d -> Text

Get Gene's Type representation

geneHTypes :: HeukaryaGene d => d -> [([Text], Text)]

Get every possible input type and output type

>>> geneHTypes $ toDyn "(+)" ((+)::Int -> Int -> Int)
[([],"Int -> Int -> Int"),(["Int"],"Int -> Int"),(["Int","Int"],"Int")]

outputHTreeType :: HeukaryaGene d => Tree d -> Text

get tree's actual output type.

wrap functions from Dynamic

toDyn :: Typeable a => Text -> a -> Dynamic

fromDyn :: Typeable a => Dynamic -> a -> a

fromDynamic :: Typeable a => Dynamic -> Maybe a

dynApp :: Dynamic -> Dynamic -> Dynamic

dynApply :: Dynamic -> Dynamic -> Maybe Dynamic

dynTypeRep :: Dynamic -> TypeRep