deniok

module Fp09 where

import Control.Applicative (Alternative(..),optional,ZipList(..))
import Data.Char (isLower,isUpper,digitToInt,isDigit)
import Data.Monoid (Alt(..),Ap(..),Sum(..))
import Data.Functor.Identity (Identity(..))

newtype Parser tok a = 
  Parser { runParser :: [tok] ->  Maybe ([tok],a) }

deniok

{-# LANGUAGE Rank2Types #-}
module Fp15SimpleLens where

{-
Линза - инструмент для манипулирования элементом типа a некоторой структуры данных типа s,
находящимся в фокусе этой линзы.
Технически линза - это АТД составленный из пары геттер-сеттер
lens :: (s -> a) -> (s -> a -> s) -> Lens s a

Законы:

deniok

{-# LANGUAGE FlexibleContexts #-}
module LamInhab where
import Data.List (insertBy)
import Control.Monad.State

-- Тип символов
type Symb = String 

infixl 2 :@

deniok

{-
Определим на Агде интуиционистскую логику высказываний 
-}

module PropCalculusMini where

{-
Задаём стандартные приоритеты и ассоциативность 
для логических связок
-}

deniok

module FilterEtAl where

data Bool : Set where
  false : Bool
  true  : Bool

data ℕ : Set where
  zero : ℕ
  suc  : (n : ℕ) → ℕ

deniok

-- Законы аппликативных функторов выполняются для 
-- стандартного представителя (Either e)

instance Applicative (Either e) where
    pure          = Right

    Left  e <*> _ = Left e
    Right f <*> r = fmap f r

instance Functor (Either a) where

deniok

{-# OPTIONS_GHC -XStandaloneDeriving #-}
module Fp06 where


-- Производные представители (Derived Instances)
data Point a = Point a a   deriving Eq

-- (Pt 3 5) == (Pt 3 5)

-- В GHC можно и отдельно (с ключом -XStandaloneDeriving)

deniok

module Fp05 where

-- переставляет элементы пары местами (определена в Data.Tuple)
swap         :: (a,b) -> (b,a)
swap (x,y)    = (y,x)


-- перечисление
data Color = Red | Green | Blue | Indigo | Violet deriving Show

deniok

module Fp04 where
x = 2               -- глобальное
y = 42              -- глобальное
foo = let z = x + y -- глобальное (foo) локальное (z)
      in print z    -- отступ (layout rule)


add x y = x + y         -- определение add
add' x = \y -> x + y
add''  = \x y -> x + y