aviation-weight-balance-0.0.3: Weight and Balance structures used in aviation.

Safe Haskell	None
Language	Haskell2010

Data.Aviation.WB.Volume

Documentation

data Volume Source #

Instances

Instances details

Eq Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods (==) :: Volume -> Volume -> Bool # (/=) :: Volume -> Volume -> Bool #
Ord Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods compare :: Volume -> Volume -> Ordering # (<) :: Volume -> Volume -> Bool # (<=) :: Volume -> Volume -> Bool # (>) :: Volume -> Volume -> Bool # (>=) :: Volume -> Volume -> Bool # max :: Volume -> Volume -> Volume # min :: Volume -> Volume -> Volume #
Show Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods showsPrec :: Int -> Volume -> ShowS # show :: Volume -> String # showList :: [Volume] -> ShowS #
Semigroup Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods (<>) :: Volume -> Volume -> Volume # sconcat :: NonEmpty Volume -> Volume # stimes :: Integral b => b -> Volume -> Volume #
Monoid Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods mempty :: Volume # mappend :: Volume -> Volume -> Volume # mconcat :: [Volume] -> Volume #
USGallons Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods usgallons :: Iso' Rational Volume #
Litres Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods litres :: Iso' Rational Volume #
ImperialGallons Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods imperialgallons :: Iso' Rational Volume #
SetVolume Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods setVolume :: Setter' Volume Volume Source #
HasVolumes Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods volumes :: Traversal' Volume Volume Source #
HasVolume Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods volume :: Lens' Volume Volume Source #
Avgas100LL Volume Weight Source #
Instance details Defined in Data.Aviation.WB.Avgas100LL Methods avgas100LL :: Iso' Volume Weight Source #
Avgas100LL Weight Volume Source #
Instance details Defined in Data.Aviation.WB.Avgas100LL Methods avgas100LL :: Iso' Weight Volume Source #

class HasVolume c where Source #

Methods

volume :: Lens' c Volume Source #

Instances

Instances details

HasVolume Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods volume :: Lens' Volume Volume Source #

class HasVolumes a where Source #

Methods

volumes :: Traversal' a Volume Source #

Instances

Instances details

HasVolumes Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods volumes :: Traversal' Volume Volume Source #

class SetVolume a where Source #

Methods

setVolume :: Setter' a Volume Source #

Instances

Instances details

SetVolume Volume Source #
Instance details Defined in Data.Aviation.WB.Volume Methods setVolume :: Setter' Volume Volume Source #

class HasVolume0 a where Source #

Methods

volume0 :: Lens' a (Maybe Volume) Source #

usgallonsV :: Iso' Rational Volume Source #

litresV :: Iso' Rational Volume Source #

imperialgallonsV :: Iso' Rational Volume Source #