Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
24 lines (16 sloc) 560 Bytes
{-# LANGUAGE NoImplicitPrelude #-}
module ITMOPredule.Algebra where
-- Реализовать для всего,
-- что только можно из
import ITMOPrelude.Primitive
-- всевозможные инстансы для классов ниже
-- Если не страшно, то реализуйте их и для
import ITMOPrelude.List
import ITMOPrelude.Tree
-- Классы
class Monoid a where
mempty :: a
mappend :: a -> a -> a
class Monoid a => Group a where
ginv :: a -> a
-- Инстансы писать сюда