Data.LazyHash.Category

Documentation

lhf :: h -> (a -> b) -> LazilyHashableFunction h a b

Orphan instances

Hash h => Morphism (LazilyHashableFunction h)

Methods

first :: (ObjectPair (LazilyHashableFunction h) b d, ObjectPair (LazilyHashableFunction h) c d) => LazilyHashableFunction h b c -> LazilyHashableFunction h (b, d) (c, d)

second :: (ObjectPair (LazilyHashableFunction h) d b, ObjectPair (LazilyHashableFunction h) d c) => LazilyHashableFunction h b c -> LazilyHashableFunction h (d, b) (d, c)

(***) :: (ObjectPair (LazilyHashableFunction h) b b', ObjectPair (LazilyHashableFunction h) c c') => LazilyHashableFunction h b c -> LazilyHashableFunction h b' c' -> LazilyHashableFunction h (b, b') (c, c')

Hash h => PreArrow (LazilyHashableFunction h)

Methods

(&&&) :: (Object (LazilyHashableFunction h) b, ObjectPair (LazilyHashableFunction h) c c') => LazilyHashableFunction h b c -> LazilyHashableFunction h b c' -> LazilyHashableFunction h b (c, c')

terminal :: Object (LazilyHashableFunction h) b => LazilyHashableFunction h b (UnitObject (LazilyHashableFunction h))

fst :: ObjectPair (LazilyHashableFunction h) x y => LazilyHashableFunction h (x, y) x

snd :: ObjectPair (LazilyHashableFunction h) x y => LazilyHashableFunction h (x, y) y

Hash h => WellPointed (LazilyHashableFunction h)

Associated Types

type PointObject (LazilyHashableFunction h :: * -> * -> *) x :: Constraint

Methods

globalElement :: ObjectPoint (LazilyHashableFunction h) x => x -> LazilyHashableFunction h (UnitObject (LazilyHashableFunction h)) x

unit :: CatTagged (LazilyHashableFunction h) (UnitObject (LazilyHashableFunction h))

const :: (Object (LazilyHashableFunction h) b, ObjectPoint (LazilyHashableFunction h) x) => x -> LazilyHashableFunction h b x

Hash h => Category (LazilyHashableFunction h)

Associated Types

type Object (LazilyHashableFunction h :: * -> * -> *) o :: Constraint

Methods

id :: Object (LazilyHashableFunction h) a => LazilyHashableFunction h a a

(.) :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) b, Object (LazilyHashableFunction h) c) => LazilyHashableFunction h b c -> LazilyHashableFunction h a b -> LazilyHashableFunction h a c

Hash h => Cartesian (LazilyHashableFunction h)

Associated Types

type PairObjects (LazilyHashableFunction h :: * -> * -> *) a b :: Constraint

type UnitObject (LazilyHashableFunction h :: * -> * -> *) :: *

Methods

swap :: (ObjectPair (LazilyHashableFunction h) a b, ObjectPair (LazilyHashableFunction h) b a) => LazilyHashableFunction h (a, b) (b, a)

attachUnit :: ((* ~ u) (UnitObject (LazilyHashableFunction h)), ObjectPair (LazilyHashableFunction h) a u) => LazilyHashableFunction h a (a, u)

detachUnit :: ((* ~ u) (UnitObject (LazilyHashableFunction h)), ObjectPair (LazilyHashableFunction h) a u) => LazilyHashableFunction h (a, u) a

regroup :: (ObjectPair (LazilyHashableFunction h) a b, ObjectPair (LazilyHashableFunction h) b c, ObjectPair (LazilyHashableFunction h) a (b, c), ObjectPair (LazilyHashableFunction h) (a, b) c) => LazilyHashableFunction h (a, (b, c)) ((a, b), c)

regroup' :: (ObjectPair (LazilyHashableFunction h) a b, ObjectPair (LazilyHashableFunction h) b c, ObjectPair (LazilyHashableFunction h) a (b, c), ObjectPair (LazilyHashableFunction h) (a, b) c) => LazilyHashableFunction h ((a, b), c) (a, (b, c))

Hash h => CoCartesian (LazilyHashableFunction h)

Associated Types

type SumObjects (LazilyHashableFunction h :: * -> * -> *) a b :: Constraint

type ZeroObject (LazilyHashableFunction h :: * -> * -> *) :: *

Methods

coSwap :: (ObjectSum (LazilyHashableFunction h) a b, ObjectSum (LazilyHashableFunction h) b a) => LazilyHashableFunction h (a + b) (b + a)

attachZero :: (Object (LazilyHashableFunction h) a, (* ~ z) (ZeroObject (LazilyHashableFunction h)), ObjectSum (LazilyHashableFunction h) a z) => LazilyHashableFunction h a (a + z)

detachZero :: (Object (LazilyHashableFunction h) a, (* ~ z) (ZeroObject (LazilyHashableFunction h)), ObjectSum (LazilyHashableFunction h) a z) => LazilyHashableFunction h (a + z) a

coRegroup :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) c, ObjectSum (LazilyHashableFunction h) a b, ObjectSum (LazilyHashableFunction h) b c, ObjectSum (LazilyHashableFunction h) a (b + c), ObjectSum (LazilyHashableFunction h) (a + b) c) => LazilyHashableFunction h (a + (b + c)) ((a + b) + c)

coRegroup' :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) c, ObjectSum (LazilyHashableFunction h) a b, ObjectSum (LazilyHashableFunction h) b c, ObjectSum (LazilyHashableFunction h) a (b + c), ObjectSum (LazilyHashableFunction h) (a + b) c) => LazilyHashableFunction h ((a + b) + c) (a + (b + c))

maybeAsSum :: (ObjectSum (LazilyHashableFunction h) u a, (* ~ u) (UnitObject (LazilyHashableFunction h)), Object (LazilyHashableFunction h) (Maybe a)) => LazilyHashableFunction h (Maybe a) (u + a)

maybeFromSum :: (ObjectSum (LazilyHashableFunction h) u a, (* ~ u) (UnitObject (LazilyHashableFunction h)), Object (LazilyHashableFunction h) (Maybe a)) => LazilyHashableFunction h (u + a) (Maybe a)

boolAsSum :: (ObjectSum (LazilyHashableFunction h) u u, (* ~ u) (UnitObject (LazilyHashableFunction h)), Object (LazilyHashableFunction h) Bool) => LazilyHashableFunction h Bool (u + u)

boolFromSum :: (ObjectSum (LazilyHashableFunction h) u u, (* ~ u) (UnitObject (LazilyHashableFunction h)), Object (LazilyHashableFunction h) Bool) => LazilyHashableFunction h (u + u) Bool

Hash h => Curry (LazilyHashableFunction h)

Associated Types

type MorphObjects (LazilyHashableFunction h :: * -> * -> *) b c :: Constraint

Methods

uncurry :: (ObjectPair (LazilyHashableFunction h) a b, ObjectMorphism (LazilyHashableFunction h) b c) => LazilyHashableFunction h a (LazilyHashableFunction h b c) -> LazilyHashableFunction h (a, b) c

curry :: (ObjectPair (LazilyHashableFunction h) a b, ObjectMorphism (LazilyHashableFunction h) b c) => LazilyHashableFunction h (a, b) c -> LazilyHashableFunction h a (LazilyHashableFunction h b c)

apply :: (ObjectMorphism (LazilyHashableFunction h) a b, ObjectPair (LazilyHashableFunction h) (LazilyHashableFunction h a b) a) => LazilyHashableFunction h (LazilyHashableFunction h a b, a) b

Hash h => Monad (Prehashed h) (LazilyHashableFunction h)

Methods

join :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) (Prehashed h a), Object (LazilyHashableFunction h) (Prehashed h (Prehashed h a))) => LazilyHashableFunction h (Prehashed h (Prehashed h a)) (Prehashed h a)

Hash h => Monoidal (Prehashed h) (LazilyHashableFunction h) (LazilyHashableFunction h)

Methods

pureUnit :: LazilyHashableFunction h (UnitObject (LazilyHashableFunction h)) (Prehashed h (UnitObject (LazilyHashableFunction h)))

fzipWith :: (ObjectPair (LazilyHashableFunction h) a b, Object (LazilyHashableFunction h) c, ObjectPair (LazilyHashableFunction h) (Prehashed h a) (Prehashed h b), Object (LazilyHashableFunction h) (Prehashed h c)) => LazilyHashableFunction h (a, b) c -> LazilyHashableFunction h (Prehashed h a, Prehashed h b) (Prehashed h c)

Hash h => Applicative (Prehashed h) (LazilyHashableFunction h) (LazilyHashableFunction h)

Methods

pure :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) (Prehashed h a)) => LazilyHashableFunction h a (Prehashed h a)

(<*>) :: (ObjectMorphism (LazilyHashableFunction h) a b, ObjectMorphism (LazilyHashableFunction h) (Prehashed h a) (Prehashed h b), Object (LazilyHashableFunction h) (LazilyHashableFunction h (Prehashed h a) (Prehashed h b)), ObjectPair (LazilyHashableFunction h) (LazilyHashableFunction h a b) a, ObjectPair (LazilyHashableFunction h) (Prehashed h (LazilyHashableFunction h a b)) (Prehashed h a), Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) b) => LazilyHashableFunction h (Prehashed h (LazilyHashableFunction h a b)) (LazilyHashableFunction h (Prehashed h a) (Prehashed h b))

Hash h => Functor (Prehashed h) (LazilyHashableFunction h) (LazilyHashableFunction h)

Methods

fmap :: (Object (LazilyHashableFunction h) a, Object (LazilyHashableFunction h) (Prehashed h a), Object (LazilyHashableFunction h) b, Object (LazilyHashableFunction h) (Prehashed h b)) => LazilyHashableFunction h a b -> LazilyHashableFunction h (Prehashed h a) (Prehashed h b)

Hash h => EnhancedCat ((->) LiftedRep LiftedRep) (LazilyHashableFunction h)

Methods

arr :: (Object (LazilyHashableFunction h) b, Object (LazilyHashableFunction h) c, Object (LiftedRep -> LiftedRep) b, Object (LiftedRep -> LiftedRep) c) => LazilyHashableFunction h b c -> (LiftedRep -> LiftedRep) b c