LukaHorvat

module Visibility where

import Data.List (sortBy, minimumBy)
import Data.Ord
import Data.Maybe (mapMaybe)
import Diagrams (Diagram, P2, (#), Located)
import qualified Diagrams as Diag
import Diagrams.Backend.Rasterific (Rasterific)
import qualified Diagrams.Backend.Rasterific as Rast
import Data.Colour (Colour)

LukaHorvat

data Node = Value Int | List [Node] | Sequence [Node]

steps :: Node -> [[Int]]
steps (Value x) = [[x]]
steps (List ns) = case substeps of
    [] -> []
    (x : xs) -> x ++ concat (zipWith prepend lastStates xs)
    where substeps = map steps ns
          lastStates = scanl1 (++) $ map last substeps
          prepend pref ss = map (pref ++) ss

LukaHorvat

box :: Bool -> Angle Double -> Diagram SVG
box on angle = ((square (sqrt 2) `clipTo` rotate angle pattern) <> base) # lwO 1.5
    where base = square (sqrt 2) # fc (if on then peachpuff else turquoise)

chromosome :: [Bool] -> Angle Double -> Diagram SVG
chromosome list angle = hcat $ map (pad 1.1 . (`box` angle)) list

first :: Diagram SVG
first = chromosome [True, False, True] (1/8 @@ turn)
    ||| padX 1.3 (chromosome [True, False] (1/8 @@ turn))

LukaHorvat

lns :: Diagram SVG
lns = Diag.fromOffsets [Diag.unitX # Diag.rotateBy (1/8)]

pattern :: Diagram SVG
pattern = Diag.gridCat $ replicate 64 lns

circle :: Diagram SVG
circle = Diag.circle 4 `Diag.clipBy` pattern
    where circleClip = Diag.circle 4 # Diag.translate (Diag.r2 (4, 4)) # Diag.showOrigin :: Diagram SVG

LukaHorvat

sample :: Presentation
sample =
    emptyPresentation {
        slides = [
            Slide [
                Header 1 "Genetski algoritmi",
                Header 2 "Križanja"
            ],
            Slide [
                Header 2 "Sadržaj",

LukaHorvat

import Data.Map (Map)
import qualified Data.Map as Map

instance (Ord k, Monoid k) => Applicative (Map k) where
    pure = Map.singleton mempty
    f <*> x = Map.fromList [(mappend fk xk, f Map.! fk $ x Map.! xk) | fk <- Map.keys f, xk <- Map.keys x]

instance (Ord k, Monoid k) => Monad (Map k) where
    return = pure
    m >>= f = Map.fromList $ do

LukaHorvat

{-# LANGUAGE MultiWayIf, MultiParamTypeClasses, FunctionalDependencies #-}
module AStar where

import Control.Monad.State
import Data.Set (Set)
import qualified Data.Set as Set
import PriorityQueue (PriorityQueue)
import qualified PriorityQueue as Prio

class Ord s => AStarState s m | s -> m where

LukaHorvat

module PriorityQueue where

import Data.Map (Map)
import qualified Data.Map as Map

data Unique = U

instance Eq Unique where
    U == U = False

LukaHorvat

module PriorityQueue where

import Data.Map (Map)
import qualified Data.Map as Map

data Unique = U

instance Eq Unique where
    U == U = False

LukaHorvat

module Rec where

import Data.Maybe
import Data.Map (Map)
import qualified Data.Map as Map
import Data.List (nub)

data Logic = Logic :& Logic
           | Logic :| Logic
           | Not Logic