Index - I
| Idle | Hydra.Model |
| inClosedState | Hydra.HeadLogicSpec |
| inClosedState' | Hydra.HeadLogicSpec |
| inIdleState | Hydra.HeadLogicSpec |
| inInitialState | Hydra.HeadLogicSpec |
| Init | Hydra.Model |
| Initial | Hydra.Model |
| inOpenState | Hydra.HeadLogicSpec |
| inOpenState' | Hydra.HeadLogicSpec |
| inputsToOpenHead | Hydra.NodeSpec |
| isBalanced | Hydra.Chain.Direct.WalletSpec |
| IsChainStateTest | Hydra.BehaviorSpec |
| isContinuous | Test.Util |
| isGreetings | Hydra.API.ServerSpec |
| isMonotonic | Test.Util |
| isOurs | Hydra.Chain.Direct.WalletSpec |
| isOutputOfLastTransaction | Hydra.Model.MockChainSpec |
| isOwned | Hydra.Model |
| isPendingCommitFrom | Hydra.Model |
| isReqSn | Hydra.NodeSpec |
| isStrictlyMonotonic | Test.Util |