module Drasil.GlassBR.Units (sFlawPU) where
import Language.Drasil (UnitDefn, newUnit, (^$), (^:))
import Data.Drasil.SI_Units (metre, newton)
sFlawPU :: UnitDefn
sFlawPU :: UnitDefn
sFlawPU = String -> UnitEquation -> UnitDefn
newUnit String
"surface flaw parameter" forall a b. (a -> b) -> a -> b
$ UnitEquation
m12 UnitEquation -> UnitEquation -> UnitEquation
^$ UnitEquation
n7
where
m12 :: UnitEquation
m12 = UnitDefn
metre UnitDefn -> Integer -> UnitEquation
^: Integer
12
n7 :: UnitEquation
n7 = UnitDefn
newton UnitDefn -> Integer -> UnitEquation
^: (-Integer
7)