Main.purs

module Main where

import Prelude

import Control.Monad.Eff.Console (logShow)
import Data.Bifunctor (lmap)
import Data.Maybe (Maybe(Just, Nothing))
import Data.Tuple (Tuple(Tuple))
import Data.Unfoldable (class Unfoldable, unfoldr)
import TryPureScript (render, withConsole)

unfoldr' ::
  forall a b f.
  Unfoldable f =>
  (b -> Maybe (Tuple a b)) ->
  b ->
  f (Tuple a b)
unfoldr' f = unfoldr (\x -> map (lmap (flip Tuple x)) (f x))
-- | A Name consists of a first name and a last name

inc :: Int -> Maybe (Tuple String Int)
inc x
  | x > 5 = Nothing
  | otherwise = Just (Tuple ("val: " <> show x) (x + 1))

main = render =<< withConsole do
  logShow (unfoldr inc 0 :: Array String)
  logShow (unfoldr' inc 0 :: Array (Tuple String Int))