You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
type Altitude = Number
data AzElCord where
AzElCord :: { range :: Number, elevation :: Number, azimuth :: Number } -> AzElCord
data Coordinate where
Coordinate :: Latitude -> Longitude -> Altitude -> Coordinate
type Latitude = Number
type Longitude = Number
Type Class Instances
instance showAzElCord :: Show AzElCord
instance showCoordinate :: Show Coordinate
Values
lookAngle :: Coordinate -> Coordinate -> AzElCord
Module MapView.WSTypes
Types
newtype Celsius where
Celsius :: Number -> Celsius
data Coordinate where
Coordinate :: { longitude :: Number, latitude :: Number } -> Coordinate
data WSMessage where
LocationBeacon :: { temperature :: Celsius, time :: String, altitude :: Number, coordinates :: Coordinate } -> WSMessage
BeaconHistory :: [Coordinate] -> WSMessage
data JSMoment :: *
data Moment a where
Moment :: JSMoment -> Moment a
UTCMoment :: JSMoment -> Moment a
data Now :: !
data UTCMoment :: *
Values
createMoment :: forall a. JSMoment -> Maybe (Moment a)
liftMoment :: forall a. (JSMoment -> a) -> Moment a -> a
liftMoment2 :: forall a b. (JSMoment -> JSMoment -> a) -> Moment b -> Moment b -> a
momentConstructor :: forall a. a -> JSMoment
momentFrom :: JSMoment -> JSMoment -> String
momentMethod :: forall a. String -> JSMoment -> a
now :: forall e. Eff (now :: Now | e) (Moment JSMoment)
utcMomentConstructor :: forall a. a -> JSMoment
utcNow :: forall e. Eff (now :: Now | e) (Moment UTCMoment)