coord-e

use std::convert::TryInto;
use std::io;
use std::net::SocketAddr;
use std::sync::Arc;

use anyhow::{bail, Context};
use bytes::{Buf, BufMut, BytesMut};
use futures::stream::{self, Stream, TryStreamExt};
use mime::Mime;
use mpart_async::server::MultipartStream;

coord-e

### {
  name: "どこからでもチャンネルに投稿するプラグイン"
  version: "0.0.1"
  author: "coord_e"
  description: "どこからでもチャンネルに投稿したい...どこからでもチャンネルに投稿したくない？"
  permissions: ["read:channels" "write:notes"]
}

@main() {
  #channels = Mk:api("channels/followed" { limit: 100 })

coord-e

#!/usr/bin/env stack
-- stack --resolver lts-16.5 script --package mtl

{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

import           Numeric.Natural                ( Natural )
import           Data.List                      ( genericReplicate
                                                , genericLength

coord-e

{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE GADTs                #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE NoStarIsType         #-}
{-# LANGUAGE NoImplicitPrelude    #-}

coord-e

### {
  name: "増やす"
  version: "0.0.1"
  author: "coord_e"
  description: "増やせ！"
}

@parse_num_attr(text def) {
  #arr = Str:split(text, " ")
  ? (Arr:len(arr) = 0) {

coord-e

### {
  name: "回す"
  version: "0.0.1"
  author: "coord_e"
  description: "回せ！"
}

@parse_num_attr(text def) {
  #arr = Str:split(text, " ")
  ? (Arr:len(arr) = 0) {

coord-e

#!/bin/bash

shopt -s globstar

for file in **/*.html; do
  curl -fsS "https://validator.w3.org/nu/?out=gnu" \
    -H "Content-Type: text/html; charset=utf-8"    \
    --data-binary "@$file"                         \
      | { ! grep -z error; }
done

coord-e

#!/usr/bin/env runghc

{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}

coord-e

#!/usr/bin/env stack
-- stack --resolver lts-16.5 script --package singletons

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}

coord-e

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TemplateHaskell #-}

import Data.Functor ( void )
import Data.Vector ( Vector, (!?), fromList )
import qualified Data.Map.Strict as Map ( Map, lookup, insert, empty )
import Control.Monad ( forever, unless )
import Control.Monad.State.Strict ( MonadState, modify, get, put, evalStateT )