View TypeClassTest.purs
module TypeClassTest where | |
import Prelude | |
import Unsafe.Coerce (unsafeCoerce) | |
class TwoParams a b where | |
func :: a -> b | |
instance equals :: TwoParams a a where | |
func = identity |
View MethodGroupNullable.csproj
<Project Sdk="Microsoft.NET.Sdk"> | |
<PropertyGroup> | |
<OutputType>Exe</OutputType> | |
<TargetFramework>netcoreapp2.2</TargetFramework> | |
<LangVersion>8.0</LangVersion> | |
<!-- for Visual Studio 16.2.x Preview --> | |
<Nullable>enable</Nullable> |
View Memoize.cs
using System.Collections.Generic; | |
using ParsecSharp; | |
using ParsecSharp.Internal; | |
namespace ParsecSharp.Extensions | |
{ | |
public static class Parser | |
{ | |
public static Parser<TToken, T> Memoize<TToken, T>(Parser<TToken, T> parser) | |
{ |
View DebugOutputStream.cs
using System; | |
using ParsecSharp; | |
namespace ParsecSharp.Utils | |
{ | |
public class DebugOutputStream<TToken> : IParsecStateStream<TToken> | |
{ | |
public enum MoveState { Backward, Stay, Forward } | |
private class Cursor |
View Main.purs
module Main where | |
import Prelude | |
import Data.Maybe (Maybe(..)) | |
import Data.Symbol (SProxy(..)) | |
import Effect (Effect) | |
import Effect.Class (class MonadEffect) | |
import Effect.Class.Console (log) | |
import Halogen (raise) |
View Base32Encoding.cs
using System; | |
using System.Buffers.Binary; | |
using System.Runtime.CompilerServices; | |
namespace Base32 | |
{ | |
public class Base32Encoding | |
{ | |
[MethodImpl(MethodImplOptions.AggressiveInlining)] | |
public string Encode(ReadOnlySpan<byte> bytes) |
View Program.cs
using System; | |
namespace Sandbox | |
{ | |
class Program | |
{ | |
static void Main(string[] args) | |
{ | |
var x = 1; | |
{ |
View Nat.purs
module Data.Typelevel.Nat where | |
import Prelude | |
import Data.Symbol (SProxy(..)) | |
import Prim.Symbol as Symbol | |
class IsNat nat where | |
reflectNat :: SProxy nat -> Int |
View Existential.purs
module Main where | |
import Prelude | |
import Data.Exists (Exists, mkExists, runExists) | |
import Data.Foldable (traverse_) | |
import Data.Maybe (Maybe(..)) | |
import Effect (Effect) | |
import Effect.Class.Console (log) |
View RowTraversable.purs
module Main where | |
import Prelude | |
import Control.Parallel (class Parallel, parallel, sequential) | |
import Data.Maybe (Maybe(..)) | |
import Data.Symbol (class IsSymbol, SProxy(..)) | |
import Effect (Effect) | |
import Effect.Class.Console (logShow) | |
import Prim.Row as Row |
NewerOlder