rb-kgy-fp 1.0.0

data/lib/rb-kgy-fp/lib.rb

@@ -0,0 +1 @@
+# frozen_string_literal: true

data/lib/rb-kgy-fp/special.rb

@@ -0,0 +1,27 @@
+# frozen_string_literal: true
+
+require 'singleton'
+
+module Special
+  private
+  class UnimplementedError < RuntimeError
+    def to_s
+      "Unimplemented Error: Please check the code for implementation"
+    end
+  end
+
+  public
+  class PlaceHolder
+    include Singleton
+  end
+
+  PH = PlaceHolder.instance
+
+  class Optional
+    include Singleton
+  end
+
+  OPT = Optional.instance
+
+  UNIMPLEMENTED = UnimplementedError.new
+end

data/lib/rb-kgy-fp/std_ext/array.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+class Array
+  def head
+    first
+  end
+
+  def tail
+    length <= 1 ? [] : last(length - 1)
+  end
+
+  def init
+    length == 0 ? [] : first(length - 1)
+  end
+
+  def xprod arr2
+    ret = []
+    self.each do |item1|
+      arr2.each do |item2|
+        ret << [item1, item2]
+      end
+    end
+    ret
+  end
+end

data/lib/rb-kgy-fp/std_ext/string.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+class String
+  def head
+    self[0]
+  end
+
+  def tail
+    self[1...length] || ""
+  end
+
+  def init
+    length == 0 ? "" : self[0...(length - 1)]
+  end
+
+  def last
+    self[length - 1]
+  end
+end

data/lib/rb-kgy-fp/trait/alternative.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/trait/applicative'
+
+module Alternative
+  include Applicative
+
+  # empty is required as class method
+
+  def or other
+    raise Special::UNIMPLEMENTED
+  end
+end

data/lib/rb-kgy-fp/trait/applicative.rb

@@ -0,0 +1,32 @@
+# frozen_string_literal: true
+
+require "lib/special"
+require 'lib/fun'
+require 'lib/curry_fun'
+require 'lib/trait/functor'
+
+module Applicative
+  include Functor
+
+  # implement require: apply | lift_a2
+  # of is required as class method
+
+  # <*>
+  def apply other
+    lift_a2(other, &Fun.method(:id))
+  end
+
+  def lift_a2 other, &fn
+    apply(other.map(&fn))
+  end
+
+  # *>
+  def replace other
+    update(Fun.method(:id)).apply(other)
+  end
+
+  # <*
+  def const other
+    lift_a2(other, &CurryFun.method(:const))
+  end
+end

data/lib/rb-kgy-fp/trait/bi_functor.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/fun'
+
+module BiFunctor
+  # implement require: bimap | (first, second)
+  def bimap map_fst, map_snd
+    second(&map_snd).first(&map_fst)
+  end
+
+  def first &fn
+    bimap fn, Fun.method(:id)
+  end
+
+  def second &fn
+    bimap Fun.method(:id), fn
+  end
+end

data/lib/rb-kgy-fp/trait/functor.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/curry_fun'
+
+module Functor
+  def fmap &fn
+    raise Special::UNIMPLEMENTED
+  end
+
+  # <$
+  def update value
+    map(&CurryFun::const(value))
+  end
+end

data/lib/rb-kgy-fp/trait/monad.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/curry_fun'
+require 'lib/trait/applicative'
+
+module Monad
+  include Applicative
+
+  # >>=
+  def bind & fn
+    raise Special::UNIMPLEMENTED
+  end
+
+  # >>
+  def consume other
+    bind { |_| other }
+  end
+
+end

data/lib/rb-kgy-fp/trait/monoid.rb

@@ -0,0 +1,24 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/trait/semi_group'
+
+module Monoid
+  include SemiGroup
+
+  # implement require: mempty | mconcat
+
+  def self.mempty
+    mconcat []
+  end
+
+  def mappend other
+    assoc(other)
+  end
+
+  def self.mconcat ls
+    ls.reverse.reduce(mempty) do |acc, item|
+      acc.mappend(item)
+    end
+  end
+end

data/lib/rb-kgy-fp/trait/semi_group.rb

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+module SemiGroup
+  # <>
+  def assoc other
+    raise Special::UNIMPLEMENTED
+  end
+end

data/lib/rb-kgy-fp/typeclass/either.rb

@@ -0,0 +1,114 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/fun'
+require 'lib/curry_fun'
+require 'lib/trait/semi_group'
+require 'lib/trait/monad'
+require 'lib/trait/bi_functor'
+
+class Either
+  include SemiGroup, Monad, Comparable, BiFunctor
+
+  attr_reader :value
+
+  private
+
+  public
+
+  def initialize value
+    @value = value
+  end
+
+  def left?
+    raise Special::UNIMPLEMENTED
+  end
+
+  def right?
+    !left?
+  end
+
+  def self.of value
+    Right.new value
+  end
+
+  def either map_left, map_right
+    raise Special::UNIMPLEMENTED
+  end
+
+  def <=> other
+    if right?
+      other.left? ? -1 : @value <=> other.value
+    else
+      other.right? ? 1 : @value <=> other.value
+    end
+  end
+end
+
+class Left < Either
+  def assoc other
+    other
+  end
+
+  def fmap & fn
+    self
+  end
+
+  def apply(other)
+    self
+  end
+
+  def bind(&fn)
+    self
+  end
+
+  def left?
+    true
+  end
+
+  def to_s
+    "Left(#{@value})"
+  end
+
+  def either(map_left, _)
+    map_left.(@value)
+  end
+
+  def bimap(map_fst, map_snd)
+    Left.new map_fst.(@value)
+  end
+end
+
+class Right < Either
+  def assoc other
+    self
+  end
+
+  def fmap & fn
+    of fn.(@value)
+  end
+
+  def apply(other)
+    of @value.(other)
+  end
+
+  def bind(&fn)
+    fn.(@value)
+  end
+
+  def left?
+    false
+  end
+
+  def to_s
+    "Right(#{@value})"
+  end
+
+  def either(_, map_right)
+    map_right.(@value)
+  end
+
+  def bimap(map_fst, map_snd)
+    of map_snd.(@value)
+  end
+end

data/lib/rb-kgy-fp/typeclass/maybe.rb

@@ -0,0 +1,113 @@
+# frozen_string_literal: true
+
+require 'lib/special'
+require 'lib/fun'
+require 'lib/curry_fun'
+require 'lib/trait/monad'
+require 'lib/trait/alternative'
+
+class Maybe
+  include Monad, Alternative, Comparable
+
+  private
+
+  public
+
+  def just?
+    raise Special::UNIMPLEMENTED
+  end
+
+  def nothing?
+    !just?
+  end
+
+  def self.of value
+    Just.new value
+  end
+
+  def <=> other
+    if just?
+      other.nothing? ? -1 : @value <=> other.value
+    else
+      other.nothing? ? 0 : 1
+    end
+  end
+
+  def self.empty
+    Nothing.new
+  end
+  
+  def consume(other)
+    replace other
+  end
+end
+
+class Just < Maybe
+  attr_reader :value
+  def initialize value
+    @value = value
+  end
+
+  def just?
+    true
+  end
+
+  def fmap(&fn)
+    of fn.(@value)
+  end
+
+  def apply(other)
+    other.fmap(&@value)
+  end
+
+  def lift_a2(other, &fn)
+    if other.just?
+      of fn.(@value, other.value)
+    else
+      Nothing.new
+    end
+  end
+
+  def replace(other)
+    other
+  end
+
+  def or(other)
+    self
+  end
+
+  def bind(&fn)
+    fn.(@value)
+  end
+
+end
+
+class Nothing < Maybe
+  def just?
+    false
+  end
+
+  def fmap(&fn)
+    self
+  end
+
+  def apply(other)
+    self
+  end
+
+  def lift_a2(other, &fn)
+    self
+  end
+
+  def replace(other)
+    self
+  end
+
+  def or other
+    other
+  end
+
+  def bind(&fn)
+    self
+  end
+end

data/lib/rb-kgy-fp/typeclass/reader.rb

@@ -0,0 +1,64 @@
+# frozen_string_literal: true
+
+require 'lib/trait/monad'
+require 'lib/fun'
+require 'lib/curry_fun'
+
+class Reader
+  include Monad
+
+  private_class_method :new
+
+  def self.of &reader
+    new &reader
+  end
+
+  def self.ask
+    of &Fun.method(:id)
+  end
+
+  def self.asks &fn
+    of do |env|
+      fn.(ask.run_reader(env))
+    end
+  end
+
+  private
+
+  def initialize &reader
+    @reader = reader
+  end
+
+  public
+
+  def fmap(&fn)
+    of do |env|
+      fn.(run_reader(env))
+    end
+  end
+
+  def apply(other)
+    of do |env|
+      run_reader(env).run_reader(env)
+    end
+  end
+
+  def bind(&fn)
+    of do |env|
+      fst = run_reader(env)
+      fn.(fst).run_reader(env)
+    end
+  end
+
+  def run_reader env
+    @reader.(env)
+  end
+
+  def map_reader &fn
+    of CurryFun.pipe(@reader, fn)
+  end
+
+  def with_reader &fn
+    of CurryFun.pipe(fn, @reader)
+  end
+end

data/lib/rb-kgy-fp/typeclass/state.rb

@@ -0,0 +1,63 @@
+# frozen_string_literal: true
+
+require 'lib/trait/monad'
+
+class State
+  include Monad
+
+  private_class_method :new
+
+  def self.of & action
+    new &action
+  end
+
+  def self.get
+    of { |s| [s, s] }
+  end
+
+  def self.put state
+    of { |_| [nil, state] }
+  end
+
+  private
+
+  def initialize & action
+    @action = action
+  end
+
+  public
+
+  def fmap(&fn)
+    of do |state|
+      run_state(state) => [value, this_state]
+      [fn.(value), this_state]
+    end
+  end
+
+  def apply(other)
+    of do |state|
+      run_state(state) => [fn, this_state]
+      other.run_state(this_state) => [value, other_state]
+      [fn.(value), other_state]
+    end
+  end
+
+  def bind & fn
+    of do |s|
+      run_state(s) => [value, this_state]
+      fn.(value).run_state(this_state)
+    end
+  end
+
+  def run_state state
+    @action.(state)
+  end
+
+  def eval_state state
+    run_state(state)[0]
+  end
+
+  def exec_state state
+    run_state(state)[1]
+  end
+end

data/lib/rb-kgy-fp/typeclass/writer.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+require 'lib/trait/monad'
+
+class Writer
+  include Monad
+
+  private_class_method :new
+
+  def self.of value, stack
+    new value, stack
+  end
+
+  def self.tell stack = []
+    of nil, stack
+  end
+
+  private
+
+  def initialize value = nil, stack = []
+    @value = value
+    @stack = stack
+    @stack.freeze
+    @stack.each { |item| item.freeze }
+  end
+
+  public
+
+  def fmap(&fn)
+    of fn.(@value), @stack
+  end
+
+  def apply(other)
+    of @value.(other.map_writer), [*@stack, *other.exec_writer]
+  end
+
+  def bind(&fn)
+    fn.(@value).run_writer => [new_value, new_stack]
+    of new_value, [*@stack, *new_stack]
+  end
+
+  def run_writer
+    [@value, @stack]
+  end
+
+  def exec_writer
+    @stack
+  end
+
+  def map_writer
+    @value
+  end
+end

metadata

@@ -0,0 +1,61 @@
+--- !ruby/object:Gem::Specification
+name: rb-kgy-fp
+version: !ruby/object:Gem::Version
+  version: 1.0.0
+platform: ruby
+authors:
+- Phil Lui
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2023-09-02 00:00:00.000000000 Z
+dependencies: []
+description: Ruby FP lib for self usage. This lib included simple FP functions like
+  Rmada of JS, and different typeclass support as Haskell
+email: phillui37@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/rb-kgy-fp/curry_fun.rb
+- lib/rb-kgy-fp/fun.rb
+- lib/rb-kgy-fp/lib.rb
+- lib/rb-kgy-fp/special.rb
+- lib/rb-kgy-fp/std_ext/array.rb
+- lib/rb-kgy-fp/std_ext/string.rb
+- lib/rb-kgy-fp/trait/alternative.rb
+- lib/rb-kgy-fp/trait/applicative.rb
+- lib/rb-kgy-fp/trait/bi_functor.rb
+- lib/rb-kgy-fp/trait/functor.rb
+- lib/rb-kgy-fp/trait/monad.rb
+- lib/rb-kgy-fp/trait/monoid.rb
+- lib/rb-kgy-fp/trait/semi_group.rb
+- lib/rb-kgy-fp/typeclass/either.rb
+- lib/rb-kgy-fp/typeclass/maybe.rb
+- lib/rb-kgy-fp/typeclass/reader.rb
+- lib/rb-kgy-fp/typeclass/state.rb
+- lib/rb-kgy-fp/typeclass/writer.rb
+homepage: https://github.com/phillui-37/rb-kgy-fp
+licenses:
+- MIT
+metadata: {}
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.10
+signing_key:
+specification_version: 4
+summary: Ruby FP lib for self usage
+test_files: []