freer-base-classes (empty) → 0.1.0.0

raw patch · 8 files changed

+109/−0 lines, 8 filesdep +basedep +freer-base-classessetup-changed

Dependencies added: base, freer-base-classes

Files

• CHANGELOG.md +11/−0
• LICENSE +26/−0
• README.md +3/−0
• Setup.hs +2/−0
• freer-base-classes.cabal +57/−0
• src/Control/Monad/Freer/Failable.hs +3/−0
• src/Control/Monad/Freer/NonDetable.hs +5/−0
• test/Spec.hs +2/−0

@@ -0,0 +1,11 @@+# Changelog for `freer-base-classes`++All notable changes to this project will be documented in this file.++The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),+and this project adheres to the+[Haskell Package Versioning Policy](https://pvp.haskell.org/).++## Unreleased++## 0.1.0.0 - YYYY-MM-DD

@@ -0,0 +1,26 @@+Copyright 2025 Yoshikuni Jujo++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++1.  Redistributions of source code must retain the above copyright notice, this+    list of conditions and the following disclaimer.++2.  Redistributions in binary form must reproduce the above copyright notice,+    this list of conditions and the following disclaimer in the documentation+    and/or other materials provided with the distribution.++3.  Neither the name of the copyright holder nor the names of its contributors+    may be used to endorse or promote products derived from this software+    without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR+ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES+(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;+LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON+ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS+SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,3 @@+# freer-base-classes++This package used by higher-order-freer-monad and higer-order-open-union

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,57 @@+cabal-version: 2.2++-- This file has been generated from package.yaml by hpack version 0.38.1.+--+-- see: https://github.com/sol/hpack++name:           freer-base-classes+version:        0.1.0.0+synopsis:       class NonDetable.N and Failable.F+description:    Please see the README on GitHub at <https://github.com/YoshikuniJujo/freer-base-classes#readme>+category:       Control+homepage:       https://github.com/YoshikuniJujo/freer-base-classes#readme+bug-reports:    https://github.com/YoshikuniJujo/freer-base-classes/issues+author:         Yoshikuni Jujo+maintainer:     yoshikuni.jujo@gmail.com+copyright:      (c) 2025 Yoshikuni Jujo+license:        BSD-3-Clause+license-file:   LICENSE+build-type:     Simple+extra-source-files:+    README.md+extra-doc-files:+    CHANGELOG.md++source-repository head+  type: git+  location: https://github.com/YoshikuniJujo/freer-base-classes++library+  exposed-modules:+      Control.Monad.Freer.Failable+      Control.Monad.Freer.NonDetable+  other-modules:+      Paths_freer_base_classes+  autogen-modules:+      Paths_freer_base_classes+  hs-source-dirs:+      src+  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints+  build-depends:+      base >=4.7 && <5+  default-language: Haskell2010++test-suite freer-base-classes-test+  type: exitcode-stdio-1.0+  main-is: Spec.hs+  other-modules:+      Paths_freer_base_classes+  autogen-modules:+      Paths_freer_base_classes+  hs-source-dirs:+      test+  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N+  build-depends:+      base >=4.7 && <5+    , freer-base-classes+  default-language: Haskell2010

@@ -0,0 +1,3 @@+module Control.Monad.Freer.Failable (F(..)) where++class F t where fail :: String -> t a

@@ -0,0 +1,5 @@+{-# OPTIONS_GHC -Wall -fno-warn-tabs #-}++module Control.Monad.Freer.NonDetable (N(..)) where++class N t where mz :: t a; mp :: t Bool

@@ -0,0 +1,2 @@+main :: IO ()+main = putStrLn "Test suite not yet implemented"