Refined Example

Main.purs

module Main where

import Prelude

import Data.Either (Either(..))
import Data.Refined (FromTo, Refined, refine, unrefine)
import Data.Typelevel.Num (D0, D100)
import Effect (Effect)
import Effect.Exception (throw)


type PortNumber = Refined (FromTo D0 D100) Int

main :: Effect Unit
main = do
  case refine 80 of 
    Left e -> throw $ show e
    Right port -> server port 

server :: PortNumber -> Effect Unit
server p = myRealServer (unrefine p)
  where 
    myRealServer :: Int -> Effect Unit 
    myRealServer _ = pure unit