pandora-io (empty) → 0.4.7

raw patch · 6 files changed

+272/−0 lines, 6 filesdep +ghc-primdep +pandora

Dependencies added: ghc-prim, pandora

Files

CHANGELOG.md +0/−0
LICENSE +21/−0
Pandora/IO.hs +46/−0
Pandora/IO/ASCII.hs +169/−0
Pandora/IO/Bytes.hs +9/−0
pandora-io.cabal +27/−0

+ CHANGELOG.md view

+ LICENSE view

@@ -0,0 +1,21 @@+MIT License++Copyright (c) 2019 Murat Kasimov++Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions:++The above copyright notice and this permission notice shall be included in all+copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE+SOFTWARE.

+ Pandora/IO.hs view

@@ -0,0 +1,46 @@+module Pandora.IO (IO, module Exports) where++import Pandora.IO.ASCII as Exports+import Pandora.IO.Bytes as Exports++import "pandora" Pandora.Pattern.Morphism.Straight (Straight (Straight))+import "pandora" Pandora.Pattern.Semigroupoid ((.))+import "pandora" Pandora.Pattern.Category (($))+import "pandora" Pandora.Pattern.Functor.Covariant (Covariant ((<$>)))+import "pandora" Pandora.Pattern.Functor.Semimonoidal (Semimonoidal (mult))+import "pandora" Pandora.Pattern.Functor.Monoidal (Monoidal (unit))+import "pandora" Pandora.Pattern.Functor.Bindable (Bindable ((=<<)))+import "pandora" Pandora.Pattern.Functor.Monad (Monad)+import "pandora" Pandora.Paradigm.Primary.Algebraic.Exponential (type (-->))+import "pandora" Pandora.Paradigm.Primary.Algebraic.Product ((:*:)((:*:)))+import "pandora" Pandora.Paradigm.Primary.Algebraic.One (One (One))+import "pandora" Pandora.Paradigm.Primary.Algebraic ()++import "ghc-prim" GHC.Prim (State#, RealWorld)+import "ghc-prim" GHC.Types (IO (IO))++instance Covariant (->) (->) IO where+	f <$> x = bindIO x (returnIO . f)++instance Semimonoidal (-->) (:*:) (:*:) IO where+	mult = Straight $ \(x :*: y) -> bindIO x $ \x' -> bindIO y $ \y' -> returnIO (x' :*: y')++instance Monoidal (-->) (->) (:*:) (:*:) IO where+	unit _ = Straight $ returnIO . ($ One)++instance Bindable (->) IO where+	f =<< x = bindIO x f++instance Monad (->) IO where++returnIO :: a -> IO a+returnIO x = IO (\ s -> (# s, x #))++bindIO :: IO a -> (a -> IO b) -> IO b+bindIO (IO m) k = IO (\s -> case m s of (# new_s, a #) -> unIO (k a) new_s)++thenIO :: IO a -> IO b -> IO b+thenIO (IO m) k = IO (\s -> case m s of (# new_s, _ #) -> unIO k new_s)++unIO :: IO a -> (State# RealWorld -> (# State# RealWorld, a #))+unIO (IO a) = a

+ Pandora/IO/ASCII.hs view

@@ -0,0 +1,169 @@+module Pandora.IO.ASCII where++import Pandora.Pattern.Object.Setoid (Setoid ((==)))+import Pandora.Pattern.Object.Ringoid (Ringoid ((*)))+import Pandora.Paradigm.Primary.Object.Boolean (Boolean (True, False))++data ASCII = Control Control | Sign Sign | Letter Case Letter | Number Number++instance Setoid ASCII where+	Control c == Control c' = c == c'+	Sign s == Sign s' = s == s'+	Letter с l == Letter с' l' = (с == с') * (l == l')+	Number n == Number n' = n == n'+	_ == _ = False++data Control = NUL | SOH | STX | ETX | EOT | ENQ+	| ACK | BEL | BS | HT | LF | VT | FF | CR | SO | SI+	| DLE | DC1 | DC2 | DC3 | DC4 | NAK | SYN | ETB | CAN+	| EM | SUB | ESC | FS | GS | RS | US | SP | DEL++instance Setoid Control where+	NUL == NUL = True+	SOH == SOH = True+	STX == STX = True+	ETX == ETX = True+	EOT == EOT = True+	ENQ == ENQ = True+	ACK == ACK = True+	BEL == BEL = True+	BS == BS = True+	HT == HT = True+	LF == LF = True+	VT == VT = True+	FF == FF = True+	CR == CR = True+	SO == SO = True+	SI == SI = True+	DLE == DLE = True+	DC1 == DC1 = True+	DC2 == DC2 = True+	DC3 == DC3 = True+	DC4 == DC4 = True+	NAK == NAK = True+	SYN == SYN = True+	ETB == ETB = True+	CAN == CAN = True+	EM == EM = True+	SUB == SUB = True+	ESC == ESC = True+	FS == FS = True+	GS == GS = True+	RS == RS = True+	US == US = True+	SP == SP = True+	DEL == DEL = True+	_ == _ = False++data Sign = Exclamation | Quote Quote | Hash | Dollar | Percent | Ampersand | Apostrophe+	| Asterisk | Plus | Comma | Minus | Period | Slash Slash | Bracket Position Bracket+	| Colon | Semicolon | At | Caret | Underscore | Accent | Bar | Tilde++instance Setoid Sign where+	Exclamation == Exclamation = True+	Quote q == Quote q' = q == q'+	Hash == Hash = True+	Dollar == Dollar = True+	Percent == Percent = True+	Ampersand == Ampersand = True+	Apostrophe == Apostrophe = True+	Asterisk == Asterisk = True+	Plus == Plus = True+	Comma == Comma = True+	Minus == Minus = True+	Period == Period = True+	Slash s == Slash s' = s == s'+	Bracket p b == Bracket p' b' = (p == p') * (b == b')+	Colon == Colon = True+	Semicolon == Semicolon = True+	At == At = True+	Caret == Caret = True+	Underscore == Underscore = True+	Accent == Accent = True+	Bar == Bar = True+	Tilde == Tilde = True+	_ == _ = False++data Bracket = Round | Square | Angle | Curly++instance Setoid Bracket where+	Round == Round = True+	Square == Square = True+	Angle == Angle = True+	Curly == Curly = True+	_ == _ = False++data Position = Opened | Closed++instance Setoid Position where+	Opened == Opened = True+	Closed == Closed = True+	_ == _ = False++data Slash = Forward | Back++instance Setoid Slash where+	Forward == Forward = True+	Back == Back = True+	_ == _ = False++data Quote = Double | Single++instance Setoid Quote where+	Double == Double = True+	Single == Single = True+	_ == _ = False++data Letter = A | B | C | D | E | F | G | H | I | J | K | L+	| M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z++instance Setoid Letter where+	A == A = True+	B == B = True+	C == C = True+	D == D = True+	E == E = True+	F == F = True+	G == G = True+	H == H = True+	I == I = True+	J == J = True+	K == K = True+	L == L = True+	M == M = True+	N == N = True+	O == O = True+	P == P = True+	Q == Q = True+	R == R = True+	S == S = True+	T == T = True+	U == U = True+	V == V = True+	W == W = True+	X == X = True+	Y == Y = True+	Z == Z = True+	_ == _ = False++data Case = Upper | Lower++instance Setoid Case where+	Upper == Upper = True+	Lower == Lower = True+	_ == _ = False++data Number = N0 | N1 | N2 | N3 | N4 | N5 | N6 | N7 | N8 | N9++instance Setoid Number where+	N0 == N0 = True+	N1 == N1 = True+	N2 == N2 = True+	N3 == N3 = True+	N4 == N4 = True+	N5 == N5 = True+	N6 == N6 = True+	N7 == N7 = True+	N8 == N8 = True+	N9 == N9 = True+	_ == _ = False

+ Pandora/IO/Bytes.hs view

@@ -0,0 +1,9 @@+module Pandora.IO.Bytes (Bytes (..)) where++import "ghc-prim" GHC.Prim (ByteArray#, Int#)++-- | A slice of a 'ByteArray'.+data Bytes = Bytes+	ByteArray# -- payload+	Int# -- offset+	Int# -- length

+ pandora-io.cabal view

@@ -0,0 +1,27 @@+name:                pandora-io+version:             0.4.7+synopsis:            ...+description:         ...+homepage:            https://github.com/iokasimov/pandora-io+license:             MIT+license-file:        LICENSE+extra-source-files:  CHANGELOG.md+author:              Murat Kasimov+maintainer:          Murat Kasimov <iokasimov.m@gmail.com>+copyright:           Copyright (c) 2019 Murat Kasimov+category:            Data, Control+build-type:          Simple+cabal-version:       >= 1.10++source-repository head+  type: git+  location: https://github.com/iokasimov/pandora-io.git++library+  build-depends: ghc-prim == 0.6.1, pandora >= 0.4.7+  exposed-modules: Pandora.IO, Pandora.IO.ASCII, Pandora.IO.Bytes+  default-language: Haskell2010+  default-extensions:+    ExplicitNamespaces, MagicHash, NoImplicitPrelude, FlexibleInstances,+    PackageImports, TypeFamilies, TypeOperators, UnboxedTuples, MultiParamTypeClasses+  ghc-options: -fno-warn-tabs