Data.Ext

Documentation

data core :+ extra infixr 1

Constructors

core :+ extra infixr 1

Instances

Bifunctor (:+)

Methods

bimap :: (a -> b) -> (c -> d) -> (a :+ c) -> b :+ d

first :: (a -> b) -> (a :+ c) -> b :+ c

second :: (b -> c) -> (a :+ b) -> a :+ c

Biapplicative (:+)

Methods

bipure :: a -> b -> a :+ b

(<<*>>) :: ((a -> b) :+ (c -> d)) -> (a :+ c) -> b :+ d

(*>>) :: (a :+ b) -> (c :+ d) -> c :+ d

(<<*) :: (a :+ b) -> (c :+ d) -> a :+ b

Bitraversable (:+)

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> (a :+ b) -> f (c :+ d)

Bifoldable (:+)

Methods

bifold :: Monoid m => (m :+ m) -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> (a :+ b) -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> (a :+ b) -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> (a :+ b) -> c

Bitraversable1 (:+)

Methods

bitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> (a :+ c) -> f (b :+ d)

bisequence1 :: Apply f => (f a :+ f b) -> f (a :+ b)

Biapply (:+)

Methods

(<<.>>) :: ((a -> b) :+ (c -> d)) -> (a :+ c) -> b :+ d

(.>>) :: (a :+ b) -> (c :+ d) -> c :+ d

(<<.) :: (a :+ b) -> (c :+ d) -> a :+ b

Bifoldable1 (:+)

Methods

bifold1 :: Semigroup m => (m :+ m) -> m

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> (a :+ b) -> m

(Bounded extra, Bounded core) => Bounded ((:+) core extra)

Methods

minBound :: core :+ extra

maxBound :: core :+ extra

(Eq extra, Eq core) => Eq ((:+) core extra)

Methods

(==) :: (core :+ extra) -> (core :+ extra) -> Bool

(/=) :: (core :+ extra) -> (core :+ extra) -> Bool

(Ord extra, Ord core) => Ord ((:+) core extra)

Methods

compare :: (core :+ extra) -> (core :+ extra) -> Ordering

(<) :: (core :+ extra) -> (core :+ extra) -> Bool

(<=) :: (core :+ extra) -> (core :+ extra) -> Bool

(>) :: (core :+ extra) -> (core :+ extra) -> Bool

(>=) :: (core :+ extra) -> (core :+ extra) -> Bool

max :: (core :+ extra) -> (core :+ extra) -> core :+ extra

min :: (core :+ extra) -> (core :+ extra) -> core :+ extra

(Read extra, Read core) => Read ((:+) core extra)

Methods

readsPrec :: Int -> ReadS (core :+ extra)

readList :: ReadS [core :+ extra]

readPrec :: ReadPrec (core :+ extra)

readListPrec :: ReadPrec [core :+ extra]

(Show extra, Show core) => Show ((:+) core extra)

Methods

showsPrec :: Int -> (core :+ extra) -> ShowS

show :: (core :+ extra) -> String

showList :: [core :+ extra] -> ShowS

Generic ((:+) core extra)

Associated Types

type Rep ((:+) core extra) :: * -> *

Methods

from :: (core :+ extra) -> Rep (core :+ extra) x

to :: Rep (core :+ extra) x -> core :+ extra

(Semigroup core, Semigroup extra) => Semigroup ((:+) core extra)

Methods

(<>) :: (core :+ extra) -> (core :+ extra) -> core :+ extra

sconcat :: NonEmpty (core :+ extra) -> core :+ extra

stimes :: Integral b => b -> (core :+ extra) -> core :+ extra

(NFData extra, NFData core) => NFData ((:+) core extra)

Methods

rnf :: (core :+ extra) -> ()

(AllSatisfy AttributeUniverse IpeAttrName rs, RecAll AttributeUniverse (Attr AttributeUniverse f) rs IpeWriteText, IpeWrite g) => IpeWrite ((:+) g (Attributes AttributeUniverse f rs))

Methods

ipeWrite :: (g :+ Attributes AttributeUniverse f rs) -> Maybe (Node Text Text)

type Rep ((:+) core extra)

type Rep ((:+) core extra) = D1 (MetaData ":+" "Data.Ext" "hgeometry-0.6.0.0-ODn7ZyBfwj6IkLPAAzetJ" False) (C1 (MetaCons ":+" (InfixI RightAssociative 1) False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 core)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 extra))))

type NumType (PlaneGraph k s w v e f r)

type NumType (PlaneGraph k s w v e f r) = r

_core :: (core :+ extra) -> core

_extra :: (core :+ extra) -> extra

core :: Lens (core :+ extra) (core' :+ extra) core core'

extra :: Lens (core :+ extra) (core :+ extra') extra extra'

ext :: a -> a :+ ()