| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CKT
Description
Circuis REST API Communication
Synopsis
- data Circuit
- data PDK
- data Space
- type CircusUrl = String
- url :: String -> String -> String -> String -> String -> String -> CircusUrl
- numEnvs :: CircusUrl -> IO Int
- actionSpace :: CircusUrl -> IO Int
- observationSpace :: CircusUrl -> IO (Int, Int, Int)
- reset :: CircusUrl -> IO (Tensor, Tensor, Tensor)
- reset' :: CircusUrl -> Tensor -> IO (Tensor, Tensor, Tensor)
- step :: CircusUrl -> Tensor -> IO (Tensor, Tensor, Tensor, Tensor, Tensor)
- randomAction :: CircusUrl -> IO Tensor
- calculateReward :: CircusUrl -> Tensor -> Tensor -> IO Tensor
- data Observation a = Observation {
- observation :: !a
- achievedGoal :: !a
- desiredGoal :: !a
- done :: Maybe [Bool]
- reward :: Maybe [Float]
- info :: Maybe [Info]
- data Info = Info {}
- newtype Action a = Action {
- action :: a
- currentPerformance :: CircusUrl -> IO (Map Int (Map String Float))
- currentGoal :: CircusUrl -> IO (Map Int (Map String Float))
- currentSizing :: CircusUrl -> IO (Map Int (Map String Float))
- lastAction :: CircusUrl -> IO (Map Int (Map String Float))
- numSteps :: CircusUrl -> IO (Map Int Float)
Documentation
Available Circuits
Available PDKs
Available Design / Action Spaces
url :: String -> String -> String -> String -> String -> String -> CircusUrl Source #
Generate URL to a Circuit server from meta information
numEnvs :: CircusUrl -> IO Int Source #
Get the number of Environments from the given Circus Server instance
actionSpace :: CircusUrl -> IO Int Source #
Get the number of Environments from the given Circus Server instance
observationSpace :: CircusUrl -> IO (Int, Int, Int) Source #
Get the number of Environments from the given Circus Server instance
reset :: CircusUrl -> IO (Tensor, Tensor, Tensor) Source #
Reset Environments and get (observation, achieved_goal, desired_goal)
reset' :: CircusUrl -> Tensor -> IO (Tensor, Tensor, Tensor) Source #
Reset subset of environments with given mask
step :: CircusUrl -> Tensor -> IO (Tensor, Tensor, Tensor, Tensor, Tensor) Source #
Shorthand for taking a Tensor action and returning Tensors
calculateReward :: CircusUrl -> Tensor -> Tensor -> IO Tensor Source #
Shorthand for calculating reward given Tensors
data Observation a Source #
Observation returned from Stepping / Resetting Environment
Constructors
| Observation | |
Fields
| |
Instances
Info Dict returned from Environment
Constructors
| Info | |
Instances
| Show Info Source # | |
| Generic Info Source # | |
| ToJSON Info Source # | |
| FromJSON Info Source # | |
| type Rep Info Source # | |
Defined in CKT type Rep Info = D1 ('MetaData "Info" "CKT" "acid-0.1.0.0-Kasfqr97FKi1MHFsFLmEZd" 'False) (C1 ('MetaCons "Info" 'PrefixI 'True) (S1 ('MetaSel ('Just "goal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [String]) :*: (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [String]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [String])))) | |
Action passed to Environment
currentPerformance :: CircusUrl -> IO (Map Int (Map String Float)) Source #
Get current State of the Environment currentState :: CircusUrl -> String -> IO (M.Map Int (M.Map String Float)) currentState addr route = fromJust . decodeStrict $ get addr route
Shorthand for getting Performance