| Copyright | (c) Fabricio Olivetti 2021 - 2021 |
|---|---|
| License | BSD3 |
| Maintainer | fabricio.olivetti@gmail.com |
| Stability | experimental |
| Portability | ConstraintKinds |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.SRTree.Random
Description
Functions to generate random trees and nodes.
Synopsis
- class HasVars p
- class HasVals p
- class HasFuns p
- type HasEverything p = (HasVars p, HasVals p, HasExps p, HasFuns p)
- data FullParams = P [Int] (Double, Double) (Int, Int) [Function]
- type RndTree p = ReaderT p (StateT StdGen IO) (Fix SRTree)
- randomVar :: HasVars p => RndTree p
- randomConst :: HasVals p => RndTree p
- randomPow :: HasExps p => RndTree p
- randomFunction :: HasFuns p => RndTree p
- randomNode :: HasEverything p => RndTree p
- randomNonTerminal :: HasEverything p => RndTree p
- randomTree :: HasEverything p => Int -> RndTree p
- randomTreeBalanced :: HasEverything p => Int -> RndTree p
Documentation
Minimal complete definition
_vars
Instances
| HasVars FullParams Source # | |
Defined in Data.SRTree.Random Methods _vars :: FullParams -> [Int] | |
Minimal complete definition
_range
Instances
| HasVals FullParams Source # | |
Defined in Data.SRTree.Random Methods _range :: FullParams -> (Double, Double) | |
Minimal complete definition
_funs
Instances
| HasFuns FullParams Source # | |
Defined in Data.SRTree.Random Methods _funs :: FullParams -> [Function] | |
type HasEverything p = (HasVars p, HasVals p, HasExps p, HasFuns p) Source #
Constraint synonym for all properties.
data FullParams Source #
A structure with every property
Instances
| HasFuns FullParams Source # | |
Defined in Data.SRTree.Random Methods _funs :: FullParams -> [Function] | |
| HasVals FullParams Source # | |
Defined in Data.SRTree.Random Methods _range :: FullParams -> (Double, Double) | |
| HasVars FullParams Source # | |
Defined in Data.SRTree.Random Methods _vars :: FullParams -> [Int] | |
type RndTree p = ReaderT p (StateT StdGen IO) (Fix SRTree) Source #
RndTree is a Monad Transformer to generate random trees of type `SRTree ix val`
given the parameters `p ix val` using the random number generator StdGen.
randomVar :: HasVars p => RndTree p Source #
Returns a random variable, the parameter p must have the HasVars property
randomConst :: HasVals p => RndTree p Source #
Returns a random constant, the parameter p must have the HasConst property
randomPow :: HasExps p => RndTree p Source #
Returns a random integer power node, the parameter p must have the HasExps property
randomFunction :: HasFuns p => RndTree p Source #
Returns a random function, the parameter p must have the HasFuns property
randomNode :: HasEverything p => RndTree p Source #
Returns a random node, the parameter p must have every property.
randomNonTerminal :: HasEverything p => RndTree p Source #
Returns a random non-terminal node, the parameter p must have every property.
randomTree :: HasEverything p => Int -> RndTree p Source #
Returns a random tree with a limited budget, the parameter p must have every property.
randomTreeBalanced :: HasEverything p => Int -> RndTree p Source #
Returns a random tree with a approximately a number n of nodes, the parameter p must have every property.