{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE RankNTypes #-}
module Data.Radian(
toRadians
, fromRadians
) where
import Data.Functor(Functor(fmap))
import Data.Profunctor(Profunctor(dimap))
import Prelude(Num((*)), Fractional((/)), Floating, pi)
toRadians ::
(Floating a, Floating b) =>
Iso a b a b
toRadians =
dimap
to
(fmap fr)
fromRadians ::
(Floating a, Floating b) =>
Iso a b a b
fromRadians =
dimap
fr
(fmap to)
to ::
Floating a =>
a
-> a
to a =
a / pi * 180
fr ::
Floating a =>
a
-> a
fr a =
a / 180 * pi
type Iso s t a b =
forall p f.
(Profunctor p, Functor f) =>
p a (f b) -> p s (f t)