polysemy-several (empty) → 0.1.0.0

raw patch · 5 files changed

+152/−0 lines, 5 filesdep +basedep +polysemy

Dependencies added: base, polysemy

Files

• ChangeLog.md +5/−0
• LICENSE +31/−0
• README.md +4/−0
• polysemy-several.cabal +37/−0
• src/Polysemy/Several.hs +75/−0

@@ -0,0 +1,5 @@+# Changelog for polysemy-severl++## v0.1.0.0++* Imported `Polysemy.Several` from polysemy-zoo.

@@ -0,0 +1,31 @@+Copyright Sandy Maguire (c) 2019+Copyright Daniel Firth (c) 2021++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * 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.++    * Neither the name of Sandy Maguire nor the names of other+      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+OWNER 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,4 @@+# polysemy-several++runSeveral interpreter for polysemy, originally taken from+[polysemy-zoo](https://hackage.haskell.org/package/polysemy-zoo).

@@ -0,0 +1,37 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.34.4.+--+-- see: https://github.com/sol/hpack++name:           polysemy-several+version:        0.1.0.0+synopsis:       Run several effects at once, taken from the polysemy-zoo.+description:    Run several effects at once, taken from the polysemy-zoo.+category:       Polysemy+author:         Daniel Firth+maintainer:     dan.firth@homotopic.tech+copyright:      2020 Daniel Firth+license:        MIT+license-file:   LICENSE+build-type:     Simple+extra-source-files:+    README.md+    ChangeLog.md++source-repository head+  type: git+  location: https://gitlab.com/homotopic-tech/polysemy-several++library+  exposed-modules:+      Polysemy.Several+  other-modules:+      Paths_polysemy_several+  hs-source-dirs:+      src+  ghc-options: -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints+  build-depends:+      base >=4.7 && <4.16+    , polysemy >=1.3.0.0 && <1.7+  default-language: Haskell2010

@@ -0,0 +1,75 @@+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE PolyKinds #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}++module Polysemy.Several+  ( HList (..),+    TypeMap,+    Append,+    runSeveral,+  )+where++import Data.Kind+import Polysemy++------------------------------------------------------------------------------++-- | A list capable of storing values of different types. Creating an HList+-- looks like.+--+-- > 1 ::: "test" ::: True ::: HNil+infixr 5 :::++data HList a where+  HNil :: HList '[]+  (:::) :: a -> HList (b :: [Type]) -> HList (a ': b)++------------------------------------------------------------------------------++-- | A map function over type level lists. For example, the following two+-- lines are equivalent:+--+-- > TypeMap Reader [Int, String, False]+-- > [Reader Int, Reader String, Reader Bool]+type family TypeMap (f :: a -> b) (xs :: [a]) where+  TypeMap _ '[] = '[]+  TypeMap f (x ': xs) = f x ': TypeMap f xs++------------------------------------------------------------------------------++-- | Type-level append.+--+-- > Append [Int, String] [Bool]+-- > [Int, String, Bool]+type family Append (a :: [t]) (b :: [t]) where+  Append '[] b = b+  Append (a ': as) b = a ': Append as b++------------------------------------------------------------------------------++-- | A helper function for building new runners which accept HLists intsead of+-- individual elements. If you would normally write+--+-- > f 5 . f "Text" . f True+--+-- then this function can turn that into+--+-- > runSeveral f (True ::: "Text" ::: 5 ::: HNil)+--+-- For example, a runReaders function could be implemented as:+--+-- > runReaders :: HList t -> Sem (TypeConcat (TypeMap Reader t) r) a -> Sem r a+-- > runReaders = runSeveral runReader+--+-- @since 0.1.0.0+runSeveral ::+  (forall r' k x. k -> Sem (e k ': r') x -> Sem r' x) ->+  HList t ->+  Sem (Append (TypeMap e t) r) a ->+  Sem r a+runSeveral f (a ::: as) = runSeveral f as . f a+runSeveral _ HNil = id