module Data.Connection.Optic.Float (
f32u32
, u32f32
, u32w64
, f32i64
, i64f32
) where
import Data.Connection.Float (Ulp32)
import Data.Int
import Data.Prd.Nan (Nan)
import Data.Profunctor.Optic.Grate
import Data.Profunctor.Optic.Import
import Data.Word
import qualified Data.Connection.Float as F
f32u32 :: Grate' Float Ulp32
f32u32 = connected F.f32u32
u32f32 :: Grate' Ulp32 Float
u32f32 = connected F.u32f32
u32w64 :: Grate' Ulp32 (Nan Word64)
u32w64 = connected F.u32w64
f32i64 :: Grate' Float (Nan Int64)
f32i64 = connected F.f32i64
i64f32 :: Grate' (Nan Int64) Float
i64f32 = connected F.i64f32