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

Safe Haskell	None
Language	Haskell2010

Data.Aviation.WB.Weight

Documentation

data Weight Source #

Instances

Instances details

Eq Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods (==) :: Weight -> Weight -> Bool # (/=) :: Weight -> Weight -> Bool #
Ord Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods compare :: Weight -> Weight -> Ordering # (<) :: Weight -> Weight -> Bool # (<=) :: Weight -> Weight -> Bool # (>) :: Weight -> Weight -> Bool # (>=) :: Weight -> Weight -> Bool # max :: Weight -> Weight -> Weight # min :: Weight -> Weight -> Weight #
Show Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods showsPrec :: Int -> Weight -> ShowS # show :: Weight -> String # showList :: [Weight] -> ShowS #
Semigroup Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods (<>) :: Weight -> Weight -> Weight # sconcat :: NonEmpty Weight -> Weight # stimes :: Integral b => b -> Weight -> Weight #
Monoid Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods mempty :: Weight # mappend :: Weight -> Weight -> Weight # mconcat :: [Weight] -> Weight #
Pounds Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods pounds :: Iso' Rational Weight #
Kilograms Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods kilograms :: Iso' Rational Weight #
SetWeight Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods setWeight :: Setter' Weight Weight Source #
HasWeights Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods weights :: Traversal' Weight Weight Source #
HasWeight Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods weight :: Lens' Weight Weight 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 HasWeight c where Source #

Methods

weight :: Lens' c Weight Source #

Instances

Instances details

HasWeight Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods weight :: Lens' Weight Weight Source #
HasWeight Moment Source #
Instance details Defined in Data.Aviation.WB.Moment Methods weight :: Lens' Moment Weight Source #

class HasWeights a where Source #

Methods

weights :: Traversal' a Weight Source #

Instances

Instances details

HasWeights Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods weights :: Traversal' Weight Weight Source #
HasWeights Moment Source #
Instance details Defined in Data.Aviation.WB.Moment Methods weights :: Traversal' Moment Weight Source #

class SetWeight a where Source #

Methods

setWeight :: Setter' a Weight Source #

Instances

Instances details

SetWeight Weight Source #
Instance details Defined in Data.Aviation.WB.Weight Methods setWeight :: Setter' Weight Weight Source #
SetWeight Moment Source #
Instance details Defined in Data.Aviation.WB.Moment Methods setWeight :: Setter' Moment Weight Source #

class HasWeight0 a where Source #

Methods

weight0 :: Lens' a (Maybe Weight) Source #

kilogramsW :: Iso' Rational Weight Source #

poundsW :: Iso' Rational Weight Source #