Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data AttackGymMessage #
Eq AttackGymMessage # | |
Show AttackGymMessage # | |
Message AttackGymMessage # | |
Default AttackGymMessage # | |
HasField "attackActions" AttackGymMessage AttackGymMessage # | |
HasField "battleId" AttackGymMessage AttackGymMessage # | |
HasField "gymId" AttackGymMessage AttackGymMessage # | |
HasField "lastRetrievedActions" AttackGymMessage AttackGymMessage # | |
HasField "maybe'lastRetrievedActions" AttackGymMessage AttackGymMessage # | |
HasField "playerLatitude" AttackGymMessage AttackGymMessage # | |
HasField "playerLongitude" AttackGymMessage AttackGymMessage # | |
type Field "attackActions" AttackGymMessage # | |
type Field "battleId" AttackGymMessage # | |
type Field "gymId" AttackGymMessage # | |
type Field "lastRetrievedActions" AttackGymMessage # | |
type Field "maybe'lastRetrievedActions" AttackGymMessage # | |
type Field "playerLatitude" AttackGymMessage # | |
type Field "playerLongitude" AttackGymMessage # | |
attackActions :: forall msg msg'. HasField "attackActions" msg msg' => Lens msg msg' (Field "attackActions" msg) (Field "attackActions" msg') #
battleId :: forall msg msg'. HasField "battleId" msg msg' => Lens msg msg' (Field "battleId" msg) (Field "battleId" msg') #
gymId :: forall msg msg'. HasField "gymId" msg msg' => Lens msg msg' (Field "gymId" msg) (Field "gymId" msg') #
lastRetrievedActions :: forall msg msg'. HasField "lastRetrievedActions" msg msg' => Lens msg msg' (Field "lastRetrievedActions" msg) (Field "lastRetrievedActions" msg') #
maybe'lastRetrievedActions :: forall msg msg'. HasField "maybe'lastRetrievedActions" msg msg' => Lens msg msg' (Field "maybe'lastRetrievedActions" msg) (Field "maybe'lastRetrievedActions" msg') #
playerLatitude :: forall msg msg'. HasField "playerLatitude" msg msg' => Lens msg msg' (Field "playerLatitude" msg) (Field "playerLatitude" msg') #
playerLongitude :: forall msg msg'. HasField "playerLongitude" msg msg' => Lens msg msg' (Field "playerLongitude" msg) (Field "playerLongitude" msg') #