Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

OAlg.Data.Identity

Description

identical predicate.

Synopsis

newtype Id x = Id x
fromId :: Id x -> x
trafoFromId :: (y -> i z) -> (x -> Id y) -> x -> i z
trafoToId :: (x -> y) -> x -> Id y

Documentation

newtype Id x Source #

identical predicate.

Constructors

Id x

Instances

Instances details

Foldable Id Source #
Instance details Defined in OAlg.Data.Identity Methods fold :: Monoid m => Id m -> m # foldMap :: Monoid m => (a -> m) -> Id a -> m # foldMap' :: Monoid m => (a -> m) -> Id a -> m # foldr :: (a -> b -> b) -> b -> Id a -> b # foldr' :: (a -> b -> b) -> b -> Id a -> b # foldl :: (b -> a -> b) -> b -> Id a -> b # foldl' :: (b -> a -> b) -> b -> Id a -> b # foldr1 :: (a -> a -> a) -> Id a -> a # foldl1 :: (a -> a -> a) -> Id a -> a # toList :: Id a -> [a] # null :: Id a -> Bool # length :: Id a -> Int # elem :: Eq a => a -> Id a -> Bool # maximum :: Ord a => Id a -> a # minimum :: Ord a => Id a -> a # sum :: Num a => Id a -> a # product :: Num a => Id a -> a #
Functor Id Source #
Instance details Defined in OAlg.Data.Identity Methods fmap :: (a -> b) -> Id a -> Id b # (<$) :: a -> Id b -> Id a #
Bounded x => Bounded (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods minBound :: Id x # maxBound :: Id x #
Enum x => Enum (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods succ :: Id x -> Id x # pred :: Id x -> Id x # toEnum :: Int -> Id x # fromEnum :: Id x -> Int # enumFrom :: Id x -> [Id x] # enumFromThen :: Id x -> Id x -> [Id x] # enumFromTo :: Id x -> Id x -> [Id x] # enumFromThenTo :: Id x -> Id x -> Id x -> [Id x] #
Read x => Read (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods readsPrec :: Int -> ReadS (Id x) # readList :: ReadS [Id x] # readPrec :: ReadPrec (Id x) # readListPrec :: ReadPrec [Id x] #
Show x => Show (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods showsPrec :: Int -> Id x -> ShowS # show :: Id x -> String # showList :: [Id x] -> ShowS #
Eq x => Eq (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods (==) :: Id x -> Id x -> Bool # (/=) :: Id x -> Id x -> Bool #
Ord x => Ord (Id x) Source #
Instance details Defined in OAlg.Data.Identity Methods compare :: Id x -> Id x -> Ordering # (<) :: Id x -> Id x -> Bool # (<=) :: Id x -> Id x -> Bool # (>) :: Id x -> Id x -> Bool # (>=) :: Id x -> Id x -> Bool # max :: Id x -> Id x -> Id x # min :: Id x -> Id x -> Id x #

fromId :: Id x -> x Source #

deconstructs Id.

trafoFromId :: (y -> i z) -> (x -> Id y) -> x -> i z Source #

transforming a f :: x -> Id y to a f' :: x -> i z.

trafoToId :: (x -> y) -> x -> Id y Source #

transforming a f :: x -> y to a f' :: x -> Id y.