adithyaov

📢 Announcing streamly 0.9.0! 🎉

Streamly, the powerful streaming library for Haskell, has just released version 0.9.0, packed with exciting new features and improvements. With Haskell's strong type safety and C-program-like performance capabilities, streamly continues to provide a seamless and efficient development experience.

Here's what you can expect from streamly 0.9.0:

🔒 Monomorphic Stream Type: In this release, we have introduced a monomorphic Stream type, replacing the polymorphic IsStream t type. This change enhances code clarity and simplifies usage.

⚡ Performance Improvements: We have removed the reliance on GHC rewrite rules, allowing for more power and transparency in the performance behavior. Now, as a programmer, you have greater control and visibility over performance-related aspects.

adithyaov

import Data.Foldable (forM_)
import Data.Word(Word8)
import Foreign.Storable (Storable(..))
import GHC.Ptr (Ptr (..))
import GHC.Base (addr2Int#, int2Word#)
import Streamly.Internal.Data.Unboxed
    ( MutableByteArray(..)
    , Unbox(..)
    , Unboxed
    , castContents

adithyaov

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

-- |
-- Description: Template Haskell code for persistent. This code needs to be in
-- a separate module because of GHC stage restriction.

-- Some of the code in this module is inspired by neat-interpolation by
-- nikita-volkov.

adithyaov

# Launch Zsh
if [ -t 1 ]; then
  exec zsh
fi


# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples

adithyaov

Inroduction

The following document describes my contributions to the organization Haskell.Org during GSoC 2019. All my contribution are towards a project called [Alga][alga].

Note :

1. This document is subject to change in the near future.
2. All module name are prepended with Algebra.Graph. It is omitted in the following document for readability.

Expected task list

adithyaov

module Acyclic.AdjacencyMap where

import qualified AdjacencyMap as AM

newtype AdjacencyMap a = AAM {
  -- Unexported
  underlying :: AM.AdjacencyMap a
  }
  
instance Show (AdjacencyMap a) where

adithyaov

module AcyclicMonad (dag, singleton, edgeTo) where
-- Only export dag, singleton and edgeTo.

import Control.Monad.Trans.State.Strict

type Vertex = Int

newtype DAG = DAG DAG' deriving Show

-- eg. Edges 4 [2, 3] (Edges 3 [1] (Edges 2 [1] (Edges 1 [] Nil)))