cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.Skeleton.ValidityRange

Description

This module provides a way of accessing lower and upper bounds of transaction validity through optics using at and ix.

Synopsis

Documentation

data ValidityBound Source #

A type used to index optics within a SlotRange. This allows the usage of the following optics: at Lower, at Upper, ix Lower and ix Upper to modify parts of a slot range. When set to Nothing, the associated bound of the interval is considered infinite, and otherwise it is considered finite, with closed closure.

Constructors

Lower 
Upper 

Orphan instances

At SlotRange Source # 
Instance details

Ixed SlotRange Source # 
Instance details

Associated Types

type IxKind SlotRange #