| return { | |
| "akinsho/toggleterm.nvim", | |
| version = "*", | |
| opts = { | |
| size = function(term) | |
| if term.direction == "horizontal" then | |
| return vim.o.lines * 0.45 | |
| elseif term.direction == "vertical" then | |
| return vim.o.columns * 0.4 | |
| end |
Install plugin: https://github.com/s1n7ax/nvim-window-picker
Create command:
vim.api.nvim_create_user_command("Pick", function (e)
local success, picked = pcall(function ()
return require('window-picker').pick_window({
autoselect_one = true,
include_current_win = true,
current_win_hl_color = '#89b4fa',
| {-# LANGUAGE | |
| FunctionalDependencies | |
| , UndecidableInstances | |
| #-} | |
| module Control.Carrier.DependsOn where | |
| import Control.Algebra | |
| import Control.Applicative | |
| import Control.Carrier.Error.Either | |
| import Control.Effect.State |
| type CarrierKind = (Type -> Type) -> Type -> Type | |
| data ((t :: CarrierKind) :|: (u :: CarrierKind)) (m :: Type -> Type) (a :: Type) = EitherC | |
| { runLeft :: t m a | |
| , runRight :: u m a } | |
| deriving Functor | |
| instance | |
| ( MonadBaseControl b (t m), MonadBaseControl b (u m) | |
| , forall x . StM (t m) x ~ StM (u m) x ) |
| {-# LANGUAGE AllowAmbiguousTypes #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE DeriveAnyClass #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE DuplicateRecordFields #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE NoMonomorphismRestriction #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| import Control.Lens |
| -- Main.hs | |
| module Main where | |
| import Lib | |
| import System.Clock | |
| main :: IO () | |
| main = do | |
| start <- getTime Monotonic | |
| parseAndWrite source1 output |
| -- пример полиморфной рекурсии, который невозможно скомпилировать без универсального представления данных в рантайме | |
| import System.IO | |
| class ScalarProduct a where | |
| scalarProduct :: a -> a -> Integer | |
| data Nil = Nil | |
| data Cons a = Cons Integer a |